1. Gilles Audemard and Laurent Simon. 2009. Predicting learnt clauses quality in modern SAT solvers. In Twenty-first international joint conference on artificial intelligence. Citeseer.
2. cvc5: A Versatile and Industrial-Strength SMT Solver
3. SMT-COMP: Satisfiability Modulo Theories Competition
4. Karsten Behrmann, Andrej Dyck, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Patrick Kabasci, Peter Schneider-Kamp, and René Thiemann. 2014. Bit-blasting for SMT-NIA with AProVE. Proc. SMT-COMP 14 (2014).
5. A constraint-based approach to solving games on infinite graphs