Clark Barrett, Morgan Deters, Albert Oliveras, Aaron Stump. Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007). International Journal on Artificial Intelligence Tools, 17(4):569-606, 2008. [doi]
@article{BarrettDOS08,
title = {Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007)},
author = {Clark Barrett and Morgan Deters and Albert Oliveras and Aaron Stump},
year = {2008},
doi = {10.1142/S0218213008004060},
url = {http://dx.doi.org/10.1142/S0218213008004060},
tags = {design},
researchr = {https://researchr.org/publication/BarrettDOS08},
cites = {0},
citedby = {0},
journal = {International Journal on Artificial Intelligence Tools},
volume = {17},
number = {4},
pages = {569-606},
}