Sciweavers

6 search results - page 1 / 2
» Encoding Max-CSP into Partial Max-SAT
Sort
View
SAT
2009
Springer
94views Hardware» more  SAT 2009»
13 years 10 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...
ISMVL
2009
IEEE
107views Hardware» more  ISMVL 2009»
13 years 10 months ago
Regular Encodings from Max-CSP into Partial Max-SAT
We define a number of original encodings, called regular encodings, that map Max-CSP instances into Partial MaxSAT instances. First, we obtain new direct and (minimal) support en...
Josep Argelich, Alba Cabiscol, Inês Lynce, F...
ISMVL
2008
IEEE
119views Hardware» more  ISMVL 2008»
13 years 10 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...
KR
2010
Springer
13 years 1 months ago
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers
Measuring the inconsistency degree of a knowledge base can help us to deal with inconsistencies. Several inconsistency measures have been given under different multi-valued semant...
Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi
CP
2003
Springer
13 years 8 months ago
Solving Max-SAT as Weighted CSP
For the last ten years, a significant amount of work in the constraint community has been devoted to the improvement of complete methods for solving soft constraints networks. We ...
Simon de Givry, Javier Larrosa, Pedro Meseguer, Th...