RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems With Combinatorial Explosion

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2011-396