1. SMT-COMP, http://www.smtcomp.org/2010/
2. Yices, http://yices.csl.sri.com/
3. Max-SAT 2013, Eighth Max-SAT Evaluation (2013), http://maxsat.ia.udl.cat
4. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., Villaret, M.: Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. In: SARA (2011)
5. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., Villaret, M.: Solving weighted CSPs with meta-constraints by reformulation into Satisfiability Modulo Theories. Constraints 18(2) (2013)