111
click to vote
ISMVL
2008
IEEE
15 years 9 months ago
2008
IEEE
We define a number of original encodings that map MaxCSP instances into Partial Max-SAT instances. Our encodings rely on the well-known direct and support encodings from CSP into...