RCRA 2011

18th RCRA International Workshop on

"Experimental Evaluation of Algorithms for solving problems with combinatorial explosion"

Barcelona, Spain, 17-18 July 2011

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.

Aims and scope

Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridised with techniques in other areas. Artificial Intelligence tools often exploit or hybridise techniques developed by other research communities, such as Operations Research. 

In recent years, research in AI has more and more focussed on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems.

Scope of the workshop is fostering the cross-fertilisation of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modelling, and ease of development.

Workshop programme

Available here.


A selection of the best papers presented at the workshop are published in AI Communications (IOS Press), volume 25(2), 2012.

Important dates

Due to the several requests, the submission deadline has been extended:
  • Abstract submission: 7 March 2011 3 April 2011
  • Submissions to the RCRA workshop: 14 March 2011 6 April 2011
  • Notification of acceptance/reject: 25 April 2011 8 May 2011
  • Final version due: 16 May 2011 25 May 2011
  • RCRA workshop: 17-18 July 2011