2007
DOI: 10.1016/j.artint.2007.03.001
|View full text |Cite
|
Sign up to set email alerts
|

Resolution for Max-SAT

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
118
0

Year Published

2009
2009
2019
2019

Publication Types

Select...
10

Relationship

3
7

Authors

Journals

citations
Cited by 97 publications
(118 citation statements)
references
References 17 publications
0
118
0
Order By: Relevance
“…The Max-SAT version of the resolution rule, first introduced by Heras and Larrosa [3] and further refined by Bonet et al [1,2], can be defined as follows (on top the premises of the rule and at the bottom the conclusions) : …”
Section: Max-sat Resolutionmentioning
confidence: 99%
“…The Max-SAT version of the resolution rule, first introduced by Heras and Larrosa [3] and further refined by Bonet et al [1,2], can be defined as follows (on top the premises of the rule and at the bottom the conclusions) : …”
Section: Max-sat Resolutionmentioning
confidence: 99%
“…The notion of MaxSAT equivalence was implicitly defined in [7]. In this paper a MaxSAT resolution rule that preserves MaxSAT equivalence is defined, and proved complete for MaxSAT.…”
Section: Examplementioning
confidence: 99%
“…In this paper we investigate the role of the so-called cycles structures (i.e., subsets of clauses of the forml 1 ∨ l 2 ,l 1 ∨ l 3 ,l 2 ∨l 3 ) 4 in the quality of the LB. Given a cycle structure, we have two options: (i) use the cycle structure just to detect inconsistent subformulas in the underestimation component (note that a cycle structure implies a failed literal l 1 ), and (ii) replace the cycle structure with l 1 , l 1 ∨l 2 ∨l 3 ,l 1 ∨ l 2 ∨ l 3 by applying MaxSAT resolution [2,5], which amounts to activate the inference component and, at the same time, change the behaviour of the underestimation component. We first show that it is better to apply MaxSAT resolution to cycle structures occurring in inconsistent subformulas detected using unit propagation or failed literal detection.…”
Section: Introductionmentioning
confidence: 99%