@conference {IIIA-2007-1530, title = {A Complete Resolution Calculus for Signed Max-SAT}, booktitle = {Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL{\textquoteright}07}, year = {2007}, pages = {22}, abstract = {We define a resolution-style rule for solving the Max-SAT problem of Signed CNF formulas (Signed Max-SAT) and prove that our rule provides a complete calculus for that problem. From the completeness proof we derive an original exact algorithm for solving Signed Max-SAT. Finally, we present some connections between our approach and the work done in the Weighted CSP community.}, author = {Carlos Ans{\'o}tegui and Mar{\'\i}a Luisa Bonet and Jordi Levy and Felip Many{\`a}} }