L. Zhang and F. Bacchus, “MAXSAT Heuristics for Cost Optimal Planning”, AAAI, vol. 26, no. 1, pp. 1846–1852, Sep. 2021.