Toni Mancini, Marco Maratea, Francesco Ricca. 20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". J. Exp. Theor. Artif. Intell., 27(5):501-502, 2015. [doi]
Abstract is missing.