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

by Marco Bozzano , Roberto Bruttomesso , Alessandro Cimatti , Tommi Junttila , Stephan Schulz , Roberto Sebastiani, et al.
Venue:JOURNAL OF AUTOMATED REASONING
Citations:23 - 2 self