The following publications are possibly variants of this publication:
- SMT-COMP: Satisfiability Modulo Theories CompetitionClark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump. cav 2005: 20-23 [doi]
- Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007)Clark Barrett, Morgan Deters, Albert Oliveras, Aaron Stump. ijait, 17(4):569-606, 2008. [doi]
- Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump. fmsd, 31(3):221-239, 2007. [doi]