20h RCRA International Workshop on
"Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2013)
This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in artificial intelligence.
As in the previous years, we plan to publish a selection of the best papers presented at the workshop as a special issue of an international journal.