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