Evaluation of high level methods for efficient planning as satisfiability.

Endre Ers, Martin Dahl, Petter Falkman, Kristofer Bengtsson

Browse the full ETFA paper archive.