Active Bibliography

12 Integrating simplex with DPLL(T) – Bruno Dutertre, Leonardo De Moura - 2006
74 Lazy Satisfiability Modulo Theories – Roberto Sebastiani - 2007
12 Design and results of the 1st satisfiability modulo theories competition (SMT-COMP – Clark Barrett, Leonardo De Moura, Aaron Stump - 2005
and – Maria Paola Bonacina, Dip Di Informatica, Università Degli Studi Di Verona, Silvio Ranise - 2006
and – Maria Paola Bonacina, Dip Di Informatica, Università Degli Studi Di Verona, Silvio Ranise - 2006
1 Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic – Shuvendu K. Lahiri, Krishna K. Mehra - 2005
and – Maria Paola Bonacina, Dip Di Informatica, Università Degli Studi Di Verona, Silvio Ranise - 2008
26 New results on rewrite-based satisfiability procedures – Allessandro Armando, Silvio Ranise, Stephan Schulz
and – Maria Paola Bonacina, Dip Di Informatica, Università Degli Studi Di Verona, Silvio Ranise - 2007
6 SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver – Malay K. Ganai, Muralidhar Talupur, Aarti Gupta - 2006
50 The yices smt solver – Bruno Dutertre, Leonardo De Moura - 2006
2 On Solving Boolean Combinations of UTVPI Constraints – Sanjit A. Seshia, K. Subramani, Randal E. Bryant - 2006
21 Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: A comparative analysis – Roberto Bruttomesso, Alessandro Cimatti, Anders Franzen, Alberto Griggio, Roberto Sebastiani - 2006
Supervised by: – Dan Goldwasser, Dan Goldwasser, Dr. Ofer Strichman (technion - 2008
3 A progressive simplifier for satisfiability modulo theories – Hossein M. Sheini, Karem A. Sakallah - 2006
Redmond, WA 98052This page intentionally left blank. Back to the Future Revisiting Precise Program Verification using SMT Solvers – Shuvendu K. Lahiri, Shaz Qadeer - 2007
17 An Experimental Evaluation of Ground Decision Procedures – Leonardo De Moura, Harald Rueß - 2003
Solving Sparse Linear Constraints – Shuvendu K. Lahiri, Madanlal Musuvathi
11 Lemmas on Demand for the Extensional Theory of Arrays – Robert Brummayer, Armin Biere - 2008