Partial Weighted MaxSAT for Optimal Planning.

Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar

Browse the full PRICAI paper archive.