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/Report › Other report

Original language	English (US)
Publisher	Department of Computer Science, New York University
State	Published - Jul 2010

Name	Technical Report TR2010-931

Cite this

@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 = jul,

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 -