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.

 

Other publications of authors with the same name

The MathSAT 4SMT Solver., , , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 299-303. Springer, (2008)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)Encoding RTL Constructs for MathSAT: a Preliminary Report., , , , , , , and . Electron. Notes Theor. Comput. Sci., 144 (2): 3-14 (2006)Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis., , , , and . Ann. Math. Artif. Intell., 55 (1-2): 63-99 (2009)Satisfiability Modulo the Theory of Costs: Foundations and Applications., , , , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 99-113. Springer, (2010)Computing Predicate Abstractions by Integrating BDDs and SMT Solvers., , , , , and . FMCAD, page 69-76. IEEE Computer Society, (2007)Tighter integration of BDDs and SMT for Predicate Abstraction., , , , and . DATE, page 1707-1712. IEEE, (2010)A Lazy and Layered SMT($BV$) Solver for Hard Industrial Verification Problems., , , , , , , and . CAV, volume 4590 of Lecture Notes in Computer Science, page 547-560. Springer, (2007)To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT)., , , , , and . LPAR, volume 4246 of Lecture Notes in Computer Science, page 557-571. Springer, (2006)Applying SMT in symbolic execution of microcode., , , , and . FMCAD, page 121-128. IEEE, (2010)