MathSAT: Tight integration of sat and mathematical decision (2005)

by M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P van Rossum, S Schulz, R Sebastiani
Venue:Journal of Automated Reasoning