Planning as Satisfiability with Preferences.

Enrico Giunchiglia, Marco Maratea

Browse the full AAAI paper archive.