Efficient Satisfiability Modulo Theories via Delayed Theory Combination

Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi Junttila; Silvio Ranise; Peter van Rossum; Roberto Sebastiani

Efficient Satisfiability Modulo Theories via Delayed Theory Combination

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani

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

46 Citations (Scopus)

Original language	English
Title of host publication	Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005
Editors	Kousha Etessami, Sriram K. Rajamani
Publisher	Springer
Pages	335-349
Publication status	Published - 2005
MoE publication type	A4 Conference publication

Keywords

logic
propositional satisfiability
satisfiability modulo theory
theory combination

Cite this

@inproceedings{43d0671484b645aa96a9897956d64193,

title = "Efficient Satisfiability Modulo Theories via Delayed Theory Combination",

keywords = "logic, propositional satisfiability, satisfiability modulo theory, theory combination, logic, propositional satisfiability, satisfiability modulo theory, theory combination, logic, propositional satisfiability, satisfiability modulo theory, theory combination",

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

year = "2005",

language = "English",

pages = "335--349",

editor = "Kousha Etessami and Rajamani, {Sriram K.}",

booktitle = "Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005",

publisher = "Springer",

address = "Germany",

}

Efficient Satisfiability Modulo Theories via Delayed Theory Combination. / Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro et al.
Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005. ed. / Kousha Etessami; Sriram K. Rajamani. Springer, 2005. p. 335-349.

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

TY - GEN

T1 - Efficient Satisfiability Modulo Theories via Delayed Theory Combination

AU - Bozzano, Marco

AU - Bruttomesso, Roberto

AU - Cimatti, Alessandro

AU - Junttila, Tommi

AU - Ranise, Silvio

AU - van Rossum, Peter

AU - Sebastiani, Roberto

PY - 2005

Y1 - 2005

KW - logic

KW - propositional satisfiability

KW - satisfiability modulo theory

KW - theory combination

KW - logic

KW - propositional satisfiability

KW - satisfiability modulo theory

KW - theory combination

KW - logic

KW - propositional satisfiability

KW - satisfiability modulo theory

KW - theory combination

M3 - Conference article in proceedings

SP - 335

EP - 349

BT - Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005

A2 - Etessami, Kousha

A2 - Rajamani, Sriram K.

PB - Springer

ER -