|
|||||
|
|
A new upper bound for Max-2-SAT: A graph-theoretic approach |
|
| Authors: | Daniel Binkele-Raible Henning Fernau |
| Affiliation: | a University of Trier, FB 4—Abteilung Informatik, 54286 Trier, Germany |
| Abstract: | |
| Keywords: | Maximum 2-Satisfiability problem Moderately exponential-time algorithms Measure and conquer |
| 本文献已被 ScienceDirect 等数据库收录！ | |