A Complete Tableau Calculus for Signed MaxSAT
Jordi Coll, Chu Min Li, Felip Manyà, Elifnaz Yangin · 2025
We introduce a tableau calculus for solving the Maximum Satisfiability problem of propositional signed formulas (Signed MaxSAT) and prove its soundness and completeness. Furthermore, we outline how the calculus can be extended to incorporate both hard and soft formulas.