Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump. Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005). Journal of Automated Reasoning, 35(4):373-390, 2005. [doi]
@article{BarrettMS05:0, title = {Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005)}, author = {Clark W. Barrett and Leonardo Mendonça de Moura and Aaron Stump}, year = {2005}, doi = {10.1007/s10817-006-9026-1}, url = {http://dx.doi.org/10.1007/s10817-006-9026-1}, tags = {design}, researchr = {https://researchr.org/publication/BarrettMS05%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {35}, number = {4}, pages = {373-390}, }