|Original language||English (US)|
|Publisher||Department of Computer Science, New York University|
|State||Published - Jul 2010|
|Name||Technical Report TR2010-931|
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.