Marco Gavanelli Toni Mancini RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. 1-2 2008 63 J. Algorithms 1-3 http://dx.doi.org/10.1016/j.jalgor.2008.02.002 db/journals/jal/jal63.html#GavanelliM08