Sciweavers

ISMVL
2008
IEEE
119views Hardware» more  ISMVL 2008»
14 years 5 months ago
Encoding Max-CSP into Partial Max-SAT
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...
Josep Argelich, Alba Cabiscol, Inês Lynce, F...