Zhang, L.; Bacchus, F. MAXSAT Heuristics for Cost Optimal Planning. AAAI 2021, 26, 1846-1852.