Author:Leenen, L; Anbulagan; Meyer, T; Ghose, ADate:Dec 2007The authors present a variant of the Weighted Maximum Satisfiability Problem (Weighted Max-SAT), which is a modeling of the Semiring Constraint Satisfaction framework. They show how to encode a Semiring Constraint Satisfaction Problem (SCSP) ...Read more