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

researchr

You are not signed in
Sign in
Sign up

Stefano Bistarelli, Andrea Formisano, Marco Maratea, editors, 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. Volume 1745 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

Conference: aiia2016

Abstract is missing.

External Propagators in WASP: Preliminary ReportCarmine Dodaro, Francesco Ricca, Peter Schüller. 1-9 [doi]

Learning with Safety Requirements: State of the Art and Open QuestionsFrancesco Leofante, Luca Pulina, Armando Tacchella. 11-25 [doi]

Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment ProgramFrancesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf. 27-43 [doi]

Automated Benchmarking of KR-systemsChristoph Redl. 45-56 [doi]

Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence RelationsPeter Schüller. 57-71 [doi]

Complexity Analysis vs. Engineering Design in CSP Algorithms: Contravening Conventional Wisdom AgainRichard J. Wallace. 73-87 [doi]

Preprocessing versus Search Processing for Constraint Satisfaction ProblemsRichard J. Wallace. 89-103 [doi]

runs on WebDSL