Vol-2011
urn:nbn:de:0074-2011-9

Copyright © 2017 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

RCRA 2017
International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017
co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017)

Bari, Italy, November 14-15, 2017.

Edited by

Marco Maratea *
Ivan Serina **

* University of Genova, Department of Informatics, Bioengineering, Robotics and Systems Engineering, viale F. Causa 15, 16145 Genova, Italy.
** University of Brescia, Department of Information Engineering, via Branze 38, 25123 Brescia, Italy.

Table of Contents

Preface

Regular Papers

Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste 1-16
Mario Alviano
Expansion-based QBF Solving on Tree Decompositions 16-26
Günther Charwat, Stefan Woltran
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector 26-32
Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri
On the Quest for an Acyclic Graph 33-44
Mikoláš Janota, Radu Grigore, Vasco Manquinho
On Minimal Corrections in ASP 45-54
Mikoláš Janota, Joao Marques-Silva

The program of RCRA 2017 also featured the presentations of the following papers, which appeared or have been submitted elsewhere:

Answer Set Enumeration via Assumption Literals
Mario Alviano, Carmine Dodaro
Algebraic Particle Swarm Optimization for the Permutations Search Space
Marco Baioletti, Alfedo Milani, Valentino Santucci
A Crisp and Soft Library for Abstract Argumentation
Stefano Bistarelli, Fabio Rossi, Francesco Santini
Planning with Always Preferences by Compilation into STRIPS with Action Costs
Luca Ceriani, Alfonso Emilio Gerevini
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
Multi-Objective Optimization in a Job Shop with Energy Costs through Hybrid Evolutionary Techniques
Miguel Ángel González Fernández, Angelo Oddi, Riccardo Rasconi
Compressed Path Databases with Ordered Wildcard Substitutions
Matteo Salvetti, Adi Botea, Alessandro Saetti, Alfonso Emilio Gerevini

2017-11-29: submitted by Ivan Serina, metadata incl. bibliographic data published under Creative Commons CC0
2017-11-30: published on CEUR-WS.org |valid HTML5|