Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani. MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. Journal of Automated Reasoning, 35(1-3):265-293, 2005. [doi]
Abstract is missing.