Marco Maratea, Ivan Serina (Eds.) RCRA 2017 Proceedings of the 24th RCRA International Work- shop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 (RCRA 2017) Bari, Italy, November 14-15, 2017. c Copyright �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. Editors’ address: Università degli Studi di Genova Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi viale F. Causa,15 16145 Genova, Italy marco@dibris.unige.it Università degli Studi di Brescia Dipartimento di Ingegneria dell’Informazione Via Branze 38 25123 Brescia, Italy ivan.serina@unibs.it Preface This volume contains the papers presented at RCRA 2017, the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Com- binatorial 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 orga- nizing the conference and producing the proceedings. November 2017 Bari Marco Maratea, Ivan Serina Workshop Organizers i 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 ii Contents Regular Papers The ingredients of the argumentation reasoner pyglaf: python, circumscription, and glucose to taste Mario Alviano 1 Expansion-based QBF Solving on Tree Decompositions Günther Charwat, Stefan Woltran 16 I-DLV+MS : preliminary report on an automatic ASP solver selector Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri 31 On the Quest for an Acyclic Graph Mikolas Janota, Radu Grigore, Vasco Manquinho 41 On Minimal Corrections in ASP Mikolas Janota and Joao Marques-Silva 56 Papers not included here and published elsewhere Answer 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 . Appeared in the Proceedings of the 2017 IEEE Congress on Evolutionary Com- putation (CEC), pages 1587–1594, June 2017. A 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 Empirical iii CONTENTS Analysis Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller. Appeared in Theory and Practice of Logic Programming, vol 17, pages 780–799, 2017. Planning with Always Preferences by Compilation into STRIPS with Action Costs Luca Ceriani, Alfonso Emilio Gerevini. Appeared in the Proceedings of the Eighth Annual Symposium on Combinato- rial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel., pages 161–165. AAAI Press, 2015 Multi-Objective Optimization in a Job Shop with Energy Costs through Hybrid Evolutionary Techniques Miguel Ángel González Fernández, Angelo Oddi, Riccardo Rasconi . Appeared in the Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, pages 140–148, 2017. Compressed Path Databases with Ordered Wildcard Substitutions information on submission Matteo Salvetti, Adi Botea, Alessandro Saetti, Alfonso Emilio Gerevini. Appeared in the Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, pages 250–258, 2017. iv