Copyright c �2017 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners Dipartimento di Informatica Bioingegneria Università degli Studi di Genova Robotica e Ingegneria dei Sistemi
viale F. Causa 15, 16145 Genova Italy
Dipartimento di Ingegneria dell'Informazione Via Branze Università degli Studi di Brescia
38, 25123 Brescia Italy
Copyright c �2017 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners 4E787BC1B917A9CDB5B93D391A363B3F GROBID - A machine learning software for extracting information from scholarly documents
Preface

This volume contains the papers presented at RCRA 2017, the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (http://rcra.aixia.it/rcra2017), held within the XVI Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), in Bari, Italy, on November 14-15, 2017.

Since the 2007 edition, the RCRA workshops have focused on the theme of algorithms in artificial intelligence, proposing benchmarks to compare them and study their efficiency through experimental evaluation. Since then, the workshop was organized in Udine (Italy), Reggio Emilia (Italy), Bologna (Italy), Barcelona (Spain), Rome (Italy), Vienna (Austria), Pisa (Italy), Ferrara (Italy) and Genova (Italy).

There were 12 submissions. Each submission was reviewed by at least three program committee members. The committee decided to accept all 12 papers for presentation at RCRA 2017. Among them 5 are original papers and are included in this volume.

We would like to thank Program Committee members and the external reviewers of RCRA 2017 for their work, as well as to the authors who submitted their articles to the conference.

We also would like to thank the Department of Computer Science, at the University of Bari and the organizers of AI*IA 2017, for hosting RCRA 2017.

Finally we acknowledge the EasyChair team and CEUR-WS.org that helped us in organizing the conference and producing the proceedings.

Crisp and Soft Library for Abstract Argumentation Stefano Bistarelli, Fabio Rossi, Francesco Santini . Appeared in the Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI. IEEE Computer Society, 2017 Constraints, Lazy Constraints, or Propagators in ASP Solving: An EmpiricalContentsRegular PapersThe ingredients of the argumentation reasoner pyglaf: python, circumscription, and glucose to taste Mario Alviano1Expansion-based QBF Solving on Tree Decompositions Günther Charwat, Stefan Woltran16I-DLV+MS : preliminary report on an automatic ASP solver selector Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri31On the Quest for an Acyclic Graph Mikolas Janota, Radu Grigore, Vasco Manquinho41On Minimal Corrections in ASP Mikolas Janota and Joao Marques-Silva56Papers not included here and published elsewhereAnswer Set Enumeration via Assumption Literals information on submission Mario Alviano, Carmine Dodaro.Appeared in the Proceedings of the XVth International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016). Genova, Italy, November 29-December 1, 2016, vol. 10037 of Lecture Notes in Computer Science, pages 149-163. Springer, 2016.Algebraic Particle Swarm Optimization for the Permutations Search Space infor-mation on submission Marco Baioletti, Alfedo Milani, Valentino Santucci .November 2017 Bari Appeared in the Proceedings of the 2017 IEEE Congress on Evolutionary Com-putation (CEC), pages 1587-1594, June 2017.Marco Maratea, Ivan SerinaWorkshop Organizersi
A

Programme Chairs Maratea, Marco University of Genova Serina, Ivan University of Brescia Programme Committee Alviano, Mario University of Calabria Bistarelli, Stefano Università di Perugia Cabalar, Pedro University of Corunna Ceberio, Martine University of Texas at El Paso Chesani, Federico University of Bologna Costantini, Stefania University of L'Aquila Di Gaspero, Luca University of Udine Dodaro, Carmine University of Genova Faber, Wolfgang University of Huddersfield Fandinno, Jorge Coruña University Formisano, Andrea University of Perugia Gadducci, Fabio University of Pisa Gavanelli, Marco University of Ferrara Järvisalo, Matti University of Helsinki Kiziltan, Zeynep University of Bologna Mancini, Toni Sapienza University Marques-Silva, Joao University of Lisbon Oddi, Angelo ISTC-CNR Pozzato, Gian Luca University of Torino Pulina, Luca University of Sassari Ricca, Francesco University of Calabria Santini, Francesco University of Perugia Schaub, Torsten University of Potsdam Schulz, Claudia TU Darmstadt Schüller, Peter Marmara University Stützle, Thomas Université Libre de Bruxelles Torroni, Paolo University of Bologna Truszczynski, Mirek University of Kentucky Vallati, Mauro University of Huddersfield Wallace, Richard University College Cork Wallner, Johannes P. University of Helsinki Woltra, Stefan TU Wien Zhou, Neng-Fa CUNY Brooklyn College and Graduate Center

Planning with Always Preferences by Compilation into STRIPS with Action Costs Luca Ceriani, Alfonso Emilio Gerevini AnalysisBernardo Cuteri CarmineDodaro FrancescoRicca PeterSchüller Appeared in the Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015
Ein Gedi, the Dead Sea, Israel
 AAAI Press 2017. June 2015. 2015 17 Appeared in Theory and Practice of Logic Programming Multi-Objective Optimization in a Job Shop with Energy Costs through Hybrid Evolutionary Techniques MiguelÁngel GonzálezFernández AngeloOddi RiccardoRasconi Appeared in the Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017
Pittsburgh, Pennsylvania, USA
 June 18-23. 2017 Compressed Path Databases with Ordered Wildcard Substitutions information on submission MatteoSalvetti AdiBotea AlessandroSaetti AlfonsoEmilioGerevini Appeared in the Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017
Pittsburgh, Pennsylvania, USA
 June 18-23. 2017