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

by Marco Bozzano , Roberto Bruttomesso , Ro Cimatti , Tommi Junttila , Stephan Schulz , Roberto Sebastiani
Venue:Journal of Automated Reasoning
Citations:22 - 2 self