Vol-1745
urn:nbn:de:0074-1745-4

Copyright © 2016 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 2016
International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016)
A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016)

Genova, Italy, November 28, 2016.

Edited by

Stefano Bistarelli *
Andrea Formisano *
Marco Maratea **

* University of Perugia, Department of Mathematics and Computer Science, via Vanvitelli 1, 06123 Perugia, Italy
** University of Genova, Department of Informatics, Bioengineering, Robotics and Systems Engineering, viale F. Causa 15, 16145 Genova, Italy

Table of Contents

Preface

Regular papers

External Propagators in WASP: Preliminary Report 1-9
Carmine Dodaro, Francesco Ricca, Peter Schüller
Learning with Safety Requirements: State of the Art and Open Questions 11-25
Francesco Leofante, Luca Pulina, Armando Tacchella
Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program 27-43
Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf
Automated Benchmarking of KR-systems 45-56
Christoph Redl
Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence Relations 57-71
Peter Schüller
Complexity Analysis vs. Engineering Design in CSP Algorithms: Contravening Conventional Wisdom Again 73-87
Richard J. Wallace
Preprocessing versus Search Processing for Constraint Satisfaction Problems 89-103
Richard J. Wallace

2016-11-21: submitted by Andrea Formisano, metadata incl. bibliographic data published under Creative Commons CC0
2016-11-25: published on CEUR-WS.org |valid HTML5|