Abrame, A.; Habet, D. Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. SOCS 2021, 5, 2-9.