- Design and Results of the 4th Annual Satisfiability Modulo Theories Competition (SMT-COMP 2008). Clark Barrett, Morgan Deters, Albert Oliveras, and Aaron Stump. To appear.
- Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2007). Clark Barrett, Morgan Deters, Albert Oliveras, and Aaron Stump.
@article{BDOS08,
author = "Clark Barrett and Morgan Deters and Albert Oliveras and Aaron Stump",
title = "Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition ({SMT-COMP} 2007)",
journal = "International Journal on Artificial Intelligence Tools",
volume = {17},
number = {4},
year = {2008},
pages = {569--606},
}
- Design and Results of the 2nd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2006). Clark Barrett, Leonardo de Moura, and Aaron Stump.
@article{BdMS07,
author = "Clark Barrett and Leonardo de Moura and Aaron Stump",
title = "Design and Results of the 2nd Annual Satisfiability Modulo Theories Competition ({SMT-COMP} 2006)",
journal = "Formal Methods in System Design",
publisher = "Springer Netherlands",
year = 2007
}
- Design and Results of the 1st Satisfiability Modulo Theories Competition (SMT-COMP 2005). Clark Barrett, Leonardo de Moura, and Aaron Stump.
@article{BdMS05,
author = "C. Barrett and L. de Moura and A. Stump",
title = {{Design and Results of the 1st Satisfiability Modulo Theories Competition (SMT-COMP 2005)}},
journal = "Journal of Automated Reasoning",
pages = {373--390},
publisher = "Springer",
volume = 35,
number = 4,
year = "2005"
}
- SMT-COMP: Satisfiability Modulo Theories Competition.
Clark Barrett, Leonardo de Moura, and Aaron Stump. [Slides]
@inproceedings{BdMS05short,
author= "C. Barrett and L. de Moura and A. Stump",
title={{SMT-COMP: Satisfiability Modulo Theories Competition}},
booktitle="17th International Conference on Computer Aided Verification",
editor="K. Etessami and S. Rajamani",
pages={20--23},
publisher="Springer",
year="2005"
}
