The OpenSMT Solver
- 1 January 2010
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A scalable decision procedure for fixed-width bit-vectorsPublished by Association for Computing Machinery (ACM) ,2009
- Symbolic pruning of concurrent program executionsPublished by Association for Computing Machinery (ACM) ,2009
- An extension of the Davis-Putnam procedure and its application to preprocessing in SMTPublished by Association for Computing Machinery (ACM) ,2009
- Fast and Flexible Difference Constraint Propagation for DPLL(T)Lecture Notes in Computer Science, 2006
- Simplify: a theorem prover for program checkingJournal of the ACM, 2005
- An Extensible SAT-solverLecture Notes in Computer Science, 2004