Abrame A, Habet D. Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. SOCS [Internet]. 2021 Sep. 1 [cited 2026 May 27];5(1):2-9. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/18313