MathSAT: Tight integration of SAT and mathematical decision procedures (0)

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