%0 Journal Article %1 journals/fmsd/BarrettMS07 %A Barrett, Clark W. %A de Moura, Leonardo Mendonça %A Stump, Aaron %D 2007 %J Formal Methods Syst. Des. %K dblp %N 3 %P 221-239 %T Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd31.html#BarrettMS07 %V 31

@article{journals/fmsd/BarrettMS07, added-at = {2020-03-13T00:00:00.000+0100}, author = {Barrett, Clark W. and de Moura, Leonardo Mendonça and Stump, Aaron}, biburl = {https://www.bibsonomy.org/bibtex/2893422f733e98feb70aba95dc85093d9/dblp}, ee = {https://doi.org/10.1007/s10703-007-0038-1}, interhash = {9fc9f3ecfa7b631f3d3711ba5e5c7340}, intrahash = {893422f733e98feb70aba95dc85093d9}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {221-239}, timestamp = {2020-03-14T11:51:48.000+0100}, title = {Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006).}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd31.html#BarrettMS07}, volume = 31, year = 2007 }