MAXSAT Heuristics for Cost Optimal Planning. Zhang, L. & Bacchus, F. In Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI-2012), 2012.
MAXSAT Heuristics for Cost Optimal Planning [pdf]Paper  bibtex   

Downloads: 0