Relaxed Exists-Step Plans in Planning as SMT.

Miquel Bofill, Joan Espasa, Mateu Villaret

Browse the full IJCAI paper archive.