Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability.

Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani

Browse the full AAAI paper archive.