Marco Gavanelli, Toni Mancini. 17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Annals of Mathematics and Artificial Intelligence, 62(3-4):159-160, 2011. [doi]
Abstract is missing.