-
-
Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli.
ME(LIA) -- Model Evolution With Linear Integer
Arithmetic Constraints.
In I. Cervesato, H. Veith, and A. Voronkov, editors, Proceedings
of the 15th International Conference on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR'08), volume 5330 of Lecture Notes in
Artificial Intelligence, pages 258--273. Springer, November 2008.
[ bib |
DOI |
.pdf |
Abstract ]
-
-
Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors.
Automated Reasoning - 4th International Conference, IJCAR 2008,
volume 5195 of Lecture Notes in Artificial Intelligence. Springer,
August 2008.
[ bib |
DOI ]
-
-
Peter Baumgartner and Cesare Tinelli.
The Model Evolution Calculus as a First-Order
DPLL Method.
Artificial Intelligence, 172(4-5):591--632, 2008.
[ bib |
DOI |
.pdf |
Abstract ]