RCRA@AI*IA

Keyphrases

Publications

2017

volume 2011, 2017

Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017. RCRA@AI*IA 2011 (2017)

2016

Richard J. Wallace
Preprocessing versus Search Processing for Constraint Satisfaction Problems. RCRA@AI*IA (2016)
Carmine Dodaro, Francesco Ricca, Peter Schüller
External Propagators in WASP: Preliminary Report. RCRA@AI*IA (2016)
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. RCRA@AI*IA (2016)
Francesco Leofante, Luca Pulina, Armando Tacchella
Learning with Safety Requirements: State of the Art and Open Questions. RCRA@AI*IA (2016)
Richard J. Wallace
Complexity Analysis vs. Engineering Design in CSP Algorithms: Contravening Conventional Wisdom Again. RCRA@AI*IA (2016)
Christoph Redl
Automated Benchmarking of KR-systems. RCRA@AI*IA (2016)
Peter Schüller
Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence Relations. RCRA@AI*IA (2016)

volume 1745, 2016

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. RCRA@AI*IA 1745 (2016)

2015

volume 1451, 2015

Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. RCRA@AI*IA 1451 (2015)

volume 589, 2010

Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009 RCRA@AI*IA 589 (2010)

2009