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