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