Clark W. Barrett Leonardo Mendonça de Moura Aaron Stump SMT-COMP: Satisfiability Modulo Theories Competition. 20-23 2005 conf/cav/2005 CAV https://doi.org/10.1007/11513988_4 db/conf/cav/cav2005.html#BarrettMS05