17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion"

RCRA (Rappresentazione della Conoscenza e Ragionamento Automatico, rcra. aixia.it ) is the interest group on knowledge representation and automated reasoning of the Italian Association for Artificial Intelligence (AI*IA). The annual workshop of the RCRA group is devoted to try to merge the different viewpoints in different communities that try to solve similar problems: those with a combinatorially wide search space. Although the different communities have their own conferences, it is rare to find an event that attracts high quality papers from so different areas as Boolean satisfiability, Answer Set Programming, Scheduling, Planning, using a variety of technology such as Constraint Programming, Lagrangian Relaxation, Local Search, Ant Colony Optimization, and Neural Networks. The 2010 edition of the RCRA workshop was held in Bologna, in association with CP-AI-OR, the international conference on Integration of Artificial Intelligence and Operations Research techniques in Constraint Programming. At the workshop, 17 papers were presented, and the authors had the possibility to submit an extended ver- sion of their paper for possible publication in this special issue. After two rounds of reviews, the following nine papers were selected.