Reference:
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:
@inproceedings{BozzanoBruttomessoCimattiJunttilaRossumSchulzSebastiani:CADE2005,
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},
}
|