Armin Biere, PicoSAT Essentials, Journal on Satisfiability, Boolean Modelling and Computation (JSAT), Vol 4, pp. 75–97, 2008.


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.


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.


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.


Bruno Dutertre, Yices 2.2, in Computer-Aided Verification (CAV 2014), LNCS 8559, pp. 737–744, Springer, Heidelberg, 2014.


Bruno Dutertre, Solving Exists/Forall Problems With Yices, presented at the SMT Workshop, 2015.


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.


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.