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.

Design and results of the 4th annual satisfiability modulo theories competition (SMT-COMP 2008). / Barrett, Clark; Deters, Morgan; Oliveras, Albert; Stump, Aaron.

Department of Computer Science, New York University, 2010. (Technical Report TR2010-931).

Research output: Book/ReportOther report

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.
Barrett C, Deters M, Oliveras A, Stump A. Design and results of the 4th annual satisfiability modulo theories competition (SMT-COMP 2008). Department of Computer Science, New York University, 2010. (Technical Report TR2010-931).
Barrett, Clark ; Deters, Morgan ; Oliveras, Albert ; Stump, Aaron. / Design and results of the 4th annual satisfiability modulo theories competition (SMT-COMP 2008). Department of Computer Science, New York University, 2010. (Technical Report TR2010-931).
@book{227bd39db638424fa17fcc9377dcda36,
title = "Design and results of the 4th annual satisfiability modulo theories competition (SMT-COMP 2008)",
author = "Clark Barrett and Morgan Deters and Albert Oliveras and Aaron Stump",
year = "2010",
month = "7",
language = "English (US)",
series = "Technical Report TR2010-931",
publisher = "Department of Computer Science, New York University",

}

TY - BOOK

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

AU - Barrett, Clark

AU - Deters, Morgan

AU - Oliveras, Albert

AU - Stump, Aaron

PY - 2010/7

Y1 - 2010/7

M3 - Other report

T3 - Technical Report TR2010-931

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

PB - Department of Computer Science, New York University

ER -