=Paper=
{{Paper
|id=Vol-2011/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2011/preface.pdf
|volume=Vol-2011
}}
==None==
https://ceur-ws.org/Vol-2011/preface.pdf
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