16th International RCRA workshop (RCRA 2009) on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” in associazione con AI*IA 2009