Author of the publication

Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis.

, , , , and . LPAR, volume 4246 of Lecture Notes in Computer Science, page 527-541. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Cimatti, Alessandro
add a person with the name Cimatti, Alessandro
 

Other publications of authors with the same name

Improving Heuristics for Planning as Search in Belief Space., and . AIPS, page 143-152. AAAI, (2002)Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach., , and . AAAI, page 3254-3260. AAAI Press, (2015)Solving Temporal Problems Using SMT: Weak Controllability., , and . AAAI, AAAI Press, (2012)IC3 Modulo Theories via Implicit Predicate Abstraction., , , and . CoRR, (2013)Formal Verification of a Railway Interlocking System using Model Checking., , , , , and . Formal Asp. Comput., 10 (4): 361-380 (1998)Verification of a safety-critical railway interlocking system with real-time constraints., , , , and . Sci. Comput. Program., 36 (1): 53-64 (2000)Symbolic Implementation of Alternating Automata., , , and . Int. J. Found. Comput. Sci., 18 (4): 727-743 (2007)MathSAT: Tight Integration of SAT and Mathematical Decision Procedures., , , , , , and . J. Autom. Reasoning, 35 (1-3): 265-293 (2005)Kratos - A Software Model Checker for SystemC., , , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 310-316. Springer, (2011)Efficient Scenario Verification for Hybrid Automata., , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 317-332. Springer, (2011)