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:21 - 2 self