Simple Approximation Algorithms for Balanced MAX 2SAT.
Alice PaulMatthias PoloczekDavid P. WilliamsonPublished in: LATIN (2016)
Keyphrases
- constraint satisfaction
- approximation algorithms
- max sat
- sat solvers
- constraint satisfaction problems
- exact algorithms
- np hard
- special case
- worst case
- weighted max sat
- vertex cover
- randomized algorithms
- branch and bound algorithm
- approximation guarantees
- sat problem
- lower bound
- constant factor
- search algorithm
- primal dual
- tabu search
- set cover
- maximum satisfiability
- genetic algorithm
- boolean satisfiability
- integer programming
- particle swarm optimization
- scheduling problem