An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic

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

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic

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

50 Citations (Scopus)

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), April 4-8, 2005, Edinburgh, U.K.
Editors	N. Halbwachs, L. Zuck
Publisher	Springer
Pages	317-333
Publication status	Published - 2005
MoE publication type	A4 Conference publication

Keywords

linear arithmetic
logic
satisfiability

Cite this

Bozzano, M., Bruttomesso, R., Cimatti, A., Junttila, T., van Rossum, P., Schulz, S., & Sebastiani, R. (2005). An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. In N. Halbwachs, & L. Zuck (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), April 4-8, 2005, Edinburgh, U.K. (pp. 317-333). Springer.

@inproceedings{0538519aa6504b1d8403a66b811334b9,

title = "An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic",

keywords = "linear arithmetic, logic, satisfiability, linear arithmetic, logic, satisfiability, linear arithmetic, logic, satisfiability",

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",

pages = "317--333",

editor = "N. Halbwachs and L. Zuck",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), April 4-8, 2005, Edinburgh, U.K.",

publisher = "Springer",

address = "Germany",

}

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. / Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro et al.
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), April 4-8, 2005, Edinburgh, U.K.. ed. / N. Halbwachs; L. Zuck. Springer, 2005. p. 317-333.

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

TY - GEN

T1 - An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic

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 - linear arithmetic

KW - logic

KW - satisfiability

KW - linear arithmetic

KW - logic

KW - satisfiability

KW - linear arithmetic

KW - logic

KW - satisfiability

UR - http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=317

M3 - Conference article in proceedings

SP - 317

EP - 333

BT - Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), April 4-8, 2005, Edinburgh, U.K.

A2 - Halbwachs, N.

A2 - Zuck, L.

PB - Springer

ER -

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic

Keywords

Other files and links

Cite this