[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.