Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà. A Complete Resolution Calculus for Signed Max-SAT. In 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway. pages 22, IEEE Computer Society, 2007. [doi]
Abstract is missing.