J Coll,
CM Li, F Manyà, E Yangin - International Journal of Approximate …, 2023 - Elsevier
Proof systems for SAT are unsound for MaxSAT because they preserve satisfiability but fail
to preserve the minimum number of unsatisfied clauses. Consequently, there has been a …