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

### Cached

### Download Links

by
Marco Bozzano
,
Roberto Bruttomesso
,
Ro Cimatti
,
Tommi Junttila
,
Stephan Schulz
,
Roberto Sebastiani

Venue: | Journal of Automated Reasoning |

Citations: | 22 - 2 self |