The MathSAT 3 system

Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi Junttila; Peter van Rossum; Stephan Schulz; Roberto Sebastiani

The MathSAT 3 system

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

33 Citations (Scopus)

Original language	English
Title of host publication	20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005
Editors	Robert Nieuwenhuis
Pages	315-321
Publication status	Published - 2005
MoE publication type	A4 Conference publication

Publication series

Name
ISSN (Print)	0302-9743

Keywords

automated deduction
propositional satisfiability
satisfiability modulo theories

Cite this

@inproceedings{476aa84cc44f4b638cf30038aeb6c374,

title = "The MathSAT 3 system",

keywords = "automated deduction, propositional satisfiability, satisfiability modulo theories, automated deduction, propositional satisfiability, satisfiability modulo theories, automated deduction, propositional satisfiability, satisfiability modulo theories",

author = "Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi Junttila and {van Rossum}, Peter and Stephan Schulz and Roberto Sebastiani",

year = "2005",

language = "English",

isbn = "3-540-28005-7",

pages = "315--321",

editor = "Robert Nieuwenhuis",

booktitle = "20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005",

}

TY - GEN

T1 - The MathSAT 3 system

AU - Bozzano, Marco

AU - Bruttomesso, Roberto

AU - Cimatti, Alessandro

AU - Junttila, Tommi

AU - van Rossum, Peter

AU - Schulz, Stephan

AU - Sebastiani, Roberto

PY - 2005

Y1 - 2005

KW - automated deduction

KW - propositional satisfiability

KW - satisfiability modulo theories

KW - automated deduction

KW - propositional satisfiability

KW - satisfiability modulo theories

KW - automated deduction

KW - propositional satisfiability

KW - satisfiability modulo theories

M3 - Conference article in proceedings

SN - 3-540-28005-7

SP - 315

EP - 321

BT - 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005

A2 - Nieuwenhuis, Robert

ER -