Abrame, A., & Habet, D. (2021). Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. Proceedings of the International Symposium on Combinatorial Search, 5(1), 2–9. https://doi.org/10.1609/socs.v5i1.18313