1. Mislav Balunovic , Pavol Bielik , and Martin T. Vechev . 2018. Learning to Solve SMT Formulas . In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018 , NeurIPS 2018 , December 3-8, 2018, Montréal, Canada. 10338–10349. Mislav Balunovic, Pavol Bielik, and Martin T. Vechev. 2018. Learning to Solve SMT Formulas. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada. 10338–10349.
2. cvc5: A Versatile and Industrial-Strength SMT Solver
3. Clark Barrett , Pascal Fontaine , and Cesare Tinelli . 2017. The SMT-LIB Standard: Version 2.6. Department of Computer Science , The University of Iowa . Available at www.SMT-LIB.org Clark Barrett, Pascal Fontaine, and Cesare Tinelli. 2017. The SMT-LIB Standard: Version 2.6. Department of Computer Science, The University of Iowa. Available at www.SMT-LIB.org
4. Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds):Handbook of model checking
5. Z3str3: A String Solver with Theory-aware Heuristics