MAXSAT Heuristics for Cost Optimal Planning.

Lei Zhang, Fahiem Bacchus

Browse the full AAAI paper archive.