André Abramé, Djamal Habet. Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. In Stefan Edelkamp, Roman Barták, editors, Proceedings of the Seventh Annual Symposium on Combinatorial Search, SOCS 2014, Prague, Czech Republic, 15-17 August 2014. pages 2-9, AAAI Press, 2014. [doi]
Abstract is missing.