Keyphrases
- max sat
- unit propagation
- weighted max sat
- lower bound
- sat solvers
- branch and bound algorithm
- branch and bound
- tabu search
- search algorithm
- sat problem
- constraint satisfaction
- clause learning
- satisfiability problem
- stochastic local search
- linear programming
- boolean satisfiability
- max sat solver
- maximum satisfiability
- variable ordering
- upper bound
- unsatisfiable cores
- cnf formula
- cost function
- constraint satisfaction problems
- conjunctive normal form
- boolean formula