EasyAnalyzer: an Object-Oriented Framework for the Experimental Analysis of Stochastic Local Search Algorithms
Luca Di Gaspero, Andrea Roli, Andrea Schaerf
.
Also appearing in
Proceedings of Engineering Stochastic Local Search Algorithms
(SLS 2007), volume 4638 of Lecture Notes in Computer Science, pages 76-90. Springer, 2007.
DOI:
10.1007/978-3-540-74446-7_6
.
Solving Satisfiability Problems with Qualitative Preferences: A new Approach.
Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
.
Also appearing as
A new Approach for Solving Satisfiability Problems with Qualitative Preferences
, in
Proceedings of the 18th European Conference on Artificial Intelligence
(ECAI 2008), pages 510-514. IOS Press, 2008.
DOI:
10.3233/978-1-58603-891-5-510
.
Verification from Declarative Specifications Using Logic Programming
Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola Mello
.
Also appearing in
Proceedings of the 24th International Conference on Logic Programming
(ICLP 2008), volume 5366 of Lecture Notes in Computer Science, pages 440-454. Springer, 2008.
DOI:
10.1007/978-3-540-89982-2_39
.
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings
Luca Pulina, Armando Tacchella
.
Also appearing in
Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
(LPAR 2008), volume 5330 of Lecture Notes in Computer Science, pages 528-542. Springer, 2008.
DOI:
10.1007/978-3-540-89439-1_37
.