TCS / Research / Publications / The MathSAT 3 System
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

The MathSAT 3 System


Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, and Roberto Sebastiani. The MathSAT 3 system. In Robert Nieuwenhuis, editor, Automated Deduction – CADE-20, volume 3632 of Lecture Notes in Artificial Intelligence, pages 315–321. Springer, 2005.

Suggested BibTeX entry:

    author = {Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi Junttila and Peter van Rossum and Stephan Schulz and Roberto Sebastiani},
    booktitle = {Automated Deduction -- CADE-20},
    editor = {Robert Nieuwenhuis},
    pages = {315--321},
    publisher = {Springer},
    series = {Lecture Notes in Artificial Intelligence},
    title = {The {MathSAT} 3 System},
    volume = {3632},
    year = {2005},

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.