Efficient Encoding of Cost Optimal Delete-Free Planning as SAT.

Masood Feyzbakhsh Rankooh, Jussi Rintanen

Browse the full AAAI paper archive.