References
- Bie2008
Armin Biere, PicoSAT Essentials, Journal on Satisfiability, Boolean Modelling and Computation (JSAT), Vol 4, pp. 75–97, 2008.
- DFMW2011
David Déharbe, Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo, Exploiting Symmetry in SMT Problems, in Automated Deduction (CADE 23), LNCS 6803, pp. 222–236. Springer, Heidelberg, 2011.
- dMJ2013
Leonardo de Moura and Dejan Jovanović, A Model-Constructing Satisfiability Calculus, in Verification, Model Checking, and Abstract Interpretation (VMCAI 2013), LNCS 7737, pp. 1–12, Springer, Heidelberg, 2013.
- DdM2006
Bruno Dutertre and Leonardo de Moura, A Fast Linear Arithmetic Solver for DPLL(T), in Computer-Aided Verification (CAV 2006), LNCS 4144, pp. 81–94. Springer, Heidelberg, 2006.
- Dut2014
Bruno Dutertre, Yices 2.2, in Computer-Aided Verification (CAV 2014), LNCS 8559, pp. 737–744, Springer, Heidelberg, 2014.
- Dut2015
Bruno Dutertre, Solving Exists/Forall Problems With Yices, presented at the SMT Workshop, 2015.
- ES2003
Niklas Eén and Niklas Sörensson, An Extensible SAT-solver, in Theory and Applications of Satisfiability Testing (SAT 2003), LNCS 2919, pp. 502–518, Springer, Heidelberg, 2004.
- NOT2006
Robert Nieuwenhuis, Albert Oliveras, and Cesare Tinelli, Solving SAT and SAT Modulo Theories: from an Abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL(T), Journal of the ACM, Vol 53, Issue 6, pp. 937–977, November 2006.