Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability.

Masood Feyzbakhsh Rankooh, Andreas Niskanen, Matti Jrvisalo

Browse the full KR paper archive.