A. Abrame and D. Habet, “Handling All Unit Propagation Reasons in Exact Max-SAT Solvers”, SOCS, vol. 5, no. 1, pp. 2–9, Sep. 2021.