Simple Approximation Algorithms for Balanced MAX 2SAT.
Alice PaulMatthias PoloczekDavid P. WilliamsonPublished in: Algorithmica (2018)
Keyphrases
- approximation algorithms
- max sat
- exact algorithms
- np hard
- special case
- vertex cover
- branch and bound algorithm
- worst case
- weighted max sat
- primal dual
- lower bound
- sat solvers
- constraint satisfaction
- linear programming
- sat problem
- approximation ratio
- constant factor
- randomized algorithms
- satisfiability problem
- approximation guarantees
- genetic algorithm
- search algorithm
- optimal solution