Reference:
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, and Roberto Sebastiani. MathSAT: Tight integration of SAT and mathematical decision procedures. Journal of Automated Reasoning, 35(1–3):265–293, October 2005.
Suggested BibTeX entry:
@article{BozzanoBruttomessoCimattiJunttilaRossumSchulzSebastiani:JAR,
author = {Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi Junttila and Peter van Rossum and Stephan Schulz and Roberto Sebastiani},
journal = {Journal of Automated Reasoning},
month = {October},
number = {1--3},
pages = {265--293},
title = {{MathSAT}: Tight Integration of {SAT} and Mathematical Decision Procedures},
volume = {35},
year = {2005},
}
|