Flexible Plan Verification: Feasibility Results

Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E

In RCRA-09. 16th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Reggio Emilia, Italy, 11-12 December, 2009