Experimental evaluation of algorithms for solving problems with combinatorial explosion