A. Morgado and J. Marques-Silva December 2008
In RCRA Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion