[CEUR Workshop Proceedings] Vol-616

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.

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