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. In Enrico Giunchiglia and Toby Walsh, editors, SAT 2005; Satisfiability Research in the Year 2005, pages 265–293. Springer, 2005. Reprint of the same article in the number 1-3 of volume 25 of the Journal of Automated Reasoning, 2005.

Suggested BibTeX entry:

@incollection{BozzanoBruttomessoCimattiJunttilaRossumSchulzSebastiani:SAT2005,
    author = {Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi Junttila and Peter van Rossum and Stephan Schulz and Roberto Sebastiani},
    booktitle = {{SAT} 2005; Satisfiability Research in the Year 2005},
    editor = {Giunchiglia, Enrico and Walsh, Toby},
    note = {Reprint of the same article in the number 1-3 of volume 25 of the Journal of Automated Reasoning, 2005},
    pages = {265--293},
    publisher = {Springer},
    title = {{MathSAT}: Tight Integration of {SAT} and Mathematical Decision Procedures},
    year = {2005},
}