Publications
A Scalable Decision Procedure for Fixed-Width Bit-Vectors,
, International Conference of Computer Aided Design (ICCAD), San Jose (CA), (2009)
The OpenSMT Solver,
, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6015, Paphos, Cyprus, p.150-153, (2010)
A Flexible Schema for Generating Explanations in Lazy Theory Propagation,
, International Conference on Formal Methods and Models for Codesign (MEMOCODE), Grenoble, France, (2010)
Flexible Interpolation with Local Proof Transformations,
, International Conference of Computer Aided Design (ICCAD), San Jose, USA, (2010)
An Extension of the Davis-Putnam Procedure and its Application to Preprocessing in SMT,
, 7th International Workshop on Satisfiability Modulo Theories (SMT), Montreal, Canada, (2009)