Planning as Quantified Boolean Formula.

Michael Cashmore, Maria Fox, Enrico Giunchiglia

Browse the full ECAI paper archive.