A new upper bound for Max-2-SAT: A graph-theoretic approach (Q616992)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new upper bound for Max-2-SAT: A graph-theoretic approach |
scientific article |
Statements
A new upper bound for Max-2-SAT: A graph-theoretic approach (English)
0 references
20 January 2011
0 references
maximum 2-satisfiability problem
0 references
moderately exponential-time algorithms
0 references
measure and conquer
0 references
