|  | 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|