The SMT-LIB Standard -- Version 2.0

The SMT-LIB Standard -- Version 2.0” by Clark Barrett, Aaron Stump, and Cesare Tinelli. In Proceedings of the 8^th International Workshop on Satisfiability Modulo Theories (SMT '10), July 2010. Edinburgh, Scotland.

BibTeX entry:

@inproceedings{BST10,
   author = {Clark Barrett and Aaron Stump and Cesare Tinelli},
   title = {The {SMT-LIB} Standard -- Version 2.0},
   booktitle = {Proceedings of the {\it 8^{th}} International Workshop on
	Satisfiability Modulo Theories (SMT '10)},
   month = jul,
   year = {2010},
   note = {Edinburgh, Scotland},
   url = {http://www.cs.nyu.edu/~barrett/pubs/BST10.pdf}
}

(This webpage was created with bibtex2web.)