@inbook{1999f28d593b450fae11548574c9230f,
title = "MathSAT: Tight Integration of SAT and mathematical decision procedures",
keywords = "integrated decision procedures, linear arithmetic logic, propositional satisfiability, satisfiability modulo theory, integrated decision procedures, linear arithmetic logic, propositional satisfiability, satisfiability modulo theory, integrated decision procedures, linear arithmetic logic, propositional satisfiability, satisfiability modulo theory",
author = "Tommi Junttila and Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and {van Rossum}, Peter and Stephan Schulz and Roberto Sebastiani",
year = "2006",
language = "English",
pages = "265--293",
editor = "Enrico Giunchiglia and Toby Walsh",
booktitle = "SAT 2005; Satisfiability Research in the Year 2005",
publisher = "Springer",
address = "Germany",
}