Planning for Temporally Extended Goals as Propositional Satisfiability.

Robert Mattmller, Jussi Rintanen

Browse the full IJCAI paper archive.