Keyphrases
- max sat
- weighted max sat
- lower bound
- greedy algorithm
- sat solvers
- tabu search
- branch and bound algorithm
- search algorithm
- satisfiability problem
- stochastic local search
- branch and bound
- objective function
- boolean satisfiability
- sat problem
- linear programming
- maximum satisfiability
- constraint satisfaction
- variable ordering
- propositional satisfiability
- upper bound
- search space
- unsatisfiable cores
- search tree
- np hard
- simulated annealing
- cost function
- cnf formula
- integer programming
- unit propagation
- information retrieval
- dynamic programming
- random sat instances