Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers.

Andr Abram, Djamal Habet

Browse the full SoCS paper archive.