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
Author:Leenen, L; Meyer, T; Ghose, ADate:Mar 2007The Semiring Constraint Satisfaction Problem (SCSP) framework is a popular approach for the representation of partial constraint satisfaction problems. In this framework preferences can be associated with tuples of values of the variable ...Read more