7 search results - page 1 / 2 » Regular Encodings from Max-CSP into Partial Max-SAT |
ISMVL
2009
IEEE
14 years 5 months ago
2009
IEEE
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...
SAT
2009
Springer
14 years 5 months ago
2009
Springer
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...
ISMVL
2008
IEEE
14 years 5 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...
KR
2010
Springer
13 years 8 months ago
2010
Springer
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...
BMCBI
2010
13 years 11 months ago
2010
Background: The hierarchical and partially redundant nature of protein structures justifies the definition of frequently occurring conformations of short fragments as `states'...