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