| Vol-616 urn:nbn:de:0074-616-4 Copyright © 2010 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# RCRA-2010
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

### Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

### Bologna, Italy, June 10-11, 2010.

Edited by

### Marco Gavanelli *
Toni Mancini **

* Università di Ferrara, Dipartimento di Ingegneria, Via Saragat 1, 44122 Ferrara, Italy
** Sapienza Università di Roma, Dipartimento di Informatica, Via Salaria 113, 00198 Roma, Italy
Organized by

### the RCRA working group (Rappresentazione della conoscenza e Ragionamento Automatico, Knowledge representation and automated reasoning) of the Italian Association for Artificial Intelligence

## Table of Contents

1. Towards a Deterministic Algorithm for the International Timetabling Competition
   Oscar Chávez-Bosquez, Pilar Pozos Parra, Florian Lengyel
2. Observation Strategies for Event Detection with Incidence on Runtime Verification
   Marco Alberti, Pierangelo Dell'Acqua and Luís Moniz Pereira
3. Combining Constraint Programming, Lagrangian Relaxation and Probabilistic Algorithms to solve the Vehicle Routing Problem
   Daniel Guimarans, Rosa Herrero, Daniel Riera, Ángel A. Juan, Juan José Ramos
4. An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems
   Marco Maratea
5. Experimental Assessment of a Threshold Selection Algorithm for Tuning Classifiers in the Field of Hierarchical Text Categorization
   Andrea Addis, Giuliano Armano, Eloisa Vargiu
6. Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation
   Mario Alviano, Wolfgang Faber, Nicola Leone
7. Towards a Fully-Parallel DLV System
   Simona Perri, Francesco Ricca, Marco Sirianni
8. Experimental Evaluation of Pheromone Models in ACOPlan
   Marco Baioletti, Alfredo Milani, Valentina Poggioni, Fabio Rossi
9. Knowledge-Based Multi-Criteria Optimization to Support Indoor Positioning
   Alessandra Mileo, Torsten Schaub, Davide Merico, Roberto Bisiani
10. Ensuring Agent Properties under Arbitrary Sequences of Incoming Events
    Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira, Arianna Tocchio
11. Boolean Lexicographic Optimization
    Joao Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce
12. Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method
    Duygu Çakmak, Halit Erdoğan, Esra Erdem
13. Job Shop Scheduling with Setup Times: Exploring the Applicability of a Constraint-based Iterative Sampling Approach
    Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith

## Presented papers that also appeared at other events

1. An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
   Luca Pulina, Armando Tacchella
   Also appearing in Proceedings of the 22nd International Conference on Computer Aided Verification (CAV 2010), volume 6174 of Lecture Notes in Computer Science, pages 243-257. Springer, 2010. DOI: 10.1007/978-3-642-14295-6_24
2. Fast Planning in Domains with Derived Predicates: An Approach Based on Rule-Action Graphs and Local Search
   Alfonso E. Gerevini, Alessandro Saetti, Ivan Serina, Paolo Toninelli
   Also appearing in Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pages 1157-1162. AAAI Press/The MIT Press, 2005. Paper available here.
3. Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
   Fabrizio Riguzzi, Terrance Swift
   Also appearing in Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), volume 7 of Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2010. DOI: 10.4230/LIPIcs.ICLP.2010.162
4. Problem-Sensitive Restart Heuristics for the DPLL Procedure
   Carsten Sinz, Markus Iser
   Also appearing in Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009), volume 5584 of Lecture Notes in Computer Science, pages 356-362. Springer, 2009. DOI: 10.1007/978-3-642-02777-2_33

21-Jul-2010: submitted by Marco Gavanelli and Toni Mancini
22-Jul-2010: published on CEUR-WS.org