Evaluation Strategies for Planning as Satisfiability.

Jussi Rintanen

Browse the full ECAI paper archive.