default search action
RCRA 2016: Genova, Italy
- Stefano Bistarelli, Andrea Formisano, Marco Maratea:
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. CEUR Workshop Proceedings 1745, CEUR-WS.org 2016
Regular papers
- Carmine Dodaro, Francesco Ricca, Peter Schüller:
External Propagators in WASP: Preliminary Report. 1-9 - Francesco Leofante, Luca Pulina, Armando Tacchella:
Learning with Safety Requirements: State of the Art and Open Questions. 11-25 - Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf:
Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program. 27-43 - Christoph Redl:
Automated Benchmarking of KR-systems. 45-56 - Peter Schüller:
Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence Relations. 57-71 - Richard J. Wallace:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.