Ann Math Artif Intell (2011) 62:159–160 DOI 10.1007/s10472-011-9268-4 17th RCRA international workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” Marco Gavanelli · Toni Mancini Published online: 13 January 2012 © Springer Science+Business Media B.V. 2012 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. Marques-Silva et al. [6] study Multi- Objective Combinatorial Optimization problems on the Boolean domain with a lexicographic optimization criterion. Cakmak et al. [3] address the problem of finding the best weighted solutions in Answer Set Programming. Oddi et al. [8] present a heuristic algorithm for solving a job-shop scheduling problem with sequence- dependent setup times and min/max separation constraints among the activities. Gerevini et al. [4] propose an approach to planning with derived predicates where the search space consists of “Rule-Action Graphs”. Baioletti et al. [2] introduce M. Gavanelli (B) Dipartimento di Ingegneria, Università di Ferrara, Via Saragat, 1, 44122 Ferrara, Italy e-mail: marco.gavanelli@unife.it T. Mancini Dipartimento di Informatica, Sapienza Università di Roma, Via Salaria, 113, 00198 Roma, Italy e-mail: tmancini@di.uniroma1.it