20th {RCRA} International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion"