MathSAT: Tight integration of SAT and mathematical decision procedures

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

MathSAT: Tight integration of SAT and mathematical decision procedures

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

Research output: Contribution to journal › Article › Scientific › peer-review

49 Citations (Scopus)

Original language	English
Journal	Journal of Automated Reasoning
Publication status	Published - 2005
MoE publication type	A1 Journal article-refereed

Keywords

decision procedure
propositional satisfiability
satisfiability modulo theories

Cite this

@article{f15b07676610423ab4e0b8a79ed9524b,

title = "MathSAT: Tight integration of SAT and mathematical decision procedures",

keywords = "decision procedure, propositional satisfiability, satisfiability modulo theories, decision procedure, propositional satisfiability, satisfiability modulo theories, decision procedure, propositional satisfiability, satisfiability modulo theories",

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

year = "2005",

language = "English",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer",

}

TY - JOUR

T1 - MathSAT: Tight integration of SAT and mathematical decision procedures

AU - Bozzano, Marco

AU - Bruttomesso, Roberto

AU - Cimatti, Alessandro

AU - Junttila, Tommi

AU - van Rossum, Peter

AU - Schulz, Stefan

AU - Sebastiani, Roberto

PY - 2005

Y1 - 2005

KW - decision procedure

KW - propositional satisfiability

KW - satisfiability modulo theories

KW - decision procedure

KW - propositional satisfiability

KW - satisfiability modulo theories

KW - decision procedure

KW - propositional satisfiability

KW - satisfiability modulo theories

M3 - Article

SN - 0168-7433

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

ER -