Experimental evaluation of algorithms forsolving problems with combinatorial explosion

Solving problems with combinatorial explosionplays an important role in decision-making, sincefeasible or optimal decisions often depend on anon-trivial combination of various factors. Gener-ally, an effective strategy for solving such problemsis merging different viewpoints adopted in differ-ent communities that try to solve similar prob-lems; such that algorithms developed in one re-search area are applicable to other problems, orcan be hybridised with techniques in other ar-eas. This is one of the aims of the RCRA (Ra-gionamento Automatico e Rappresentazione dellaConoscenza) group,1the interest group of the Ital-ian Association for Artificial Intelligence (AI*IA)on knowledge representation and automated rea-soning, which organises its annual meetings since1994.