Parallel Planning using a Lazy Clause Generation Solver.

Behrouz Babaki, Gilles Pesant

Browse the full ICTAI paper archive.