MathSAT: Tight Integration of SAT and Mathematical Decision Procedures

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},
}