Sciweavers

SAT
2009
Springer
94views Hardware» more  SAT 2009»
14 years 6 months ago
Sequential Encodings from Max-CSP into Partial Max-SAT
Abstract. We define new encodings from Max-CSP into Partial MaxSAT which are obtained by modelling the at-most-one condition with the sequential SAT encoding of the cardinality co...
Josep Argelich, Alba Cabiscol, Inês Lynce, F...