Keyphrases
- approximation algorithms
- max sat
- np hard
- weighted max sat
- branch and bound algorithm
- lower bound
- exact algorithms
- satisfiability problem
- worst case
- special case
- sat solvers
- sat problem
- branch and bound
- tabu search
- search algorithm
- vertex cover
- linear programming
- constraint satisfaction
- primal dual
- randomized algorithms
- maximum satisfiability
- upper bound
- approximation ratio
- constant factor approximation
- max sat solver
- boolean satisfiability
- search tree
- simulated annealing
- reinforcement learning
- genetic algorithm