On Approximation Algorithms for Hierarchical MAX-SAT.
Sameet AgarwalAnne CondonPublished in: J. Algorithms (1998)
Keyphrases
- approximation algorithms
- max sat
- exact algorithms
- np hard
- weighted max sat
- lower bound
- special case
- branch and bound algorithm
- worst case
- sat solvers
- vertex cover
- tabu search
- search algorithm
- branch and bound
- satisfiability problem
- approximation ratio
- primal dual
- sat problem
- randomized algorithms
- linear programming
- maximum satisfiability
- constraint satisfaction
- constant factor approximation
- integer programming
- column generation
- cellular automata
- simulated annealing
- polynomial time approximation
- upper bound
- dynamic programming