Mathsat: Tight integration of sat and mathematical decision procedures (2005)

by Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter Rossum, Stephan Schulz, Roberto Sebastiani
Venue:Journal of Automated Reasoning