@article{72efe31318e3408fa37428d0e2dd1d85,
title = "Efficient theory combination via boolean search",
keywords = "decision procedure, propositional satisfiability, satisfiability modulo theories, decision procedure, propositional satisfiability, satisfiability modulo theories, decision procedure, propositional satisfiability, satisfiability modulo theories",
author = "Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi Junttila and Silvio Ranise and {van Rossum}, Peter and Roberto Sebastiani",
year = "2006",
language = "English",
volume = "204",
pages = "1493--1525",
journal = "Information and Computation",
publisher = "Elsevier Inc.",
number = "10",
}