Design and results of the 4th annual satisfiability modulo theories competition (SMT-COMP 2008)

Clark Barrett, Morgan Deters, Albert Oliveras, Aaron Stump

Research output: Book/ReportOther report

Original languageEnglish (US)
PublisherDepartment of Computer Science, New York University
StatePublished - Jul 2010

Publication series

NameTechnical Report TR2010-931

Cite this

Barrett, C., Deters, M., Oliveras, A., & Stump, A. (2010). Design and results of the 4th annual satisfiability modulo theories competition (SMT-COMP 2008). (Technical Report TR2010-931). Department of Computer Science, New York University.