Keyphrases
- max sat
- unsatisfiable cores
- weighted max sat
- branch and bound algorithm
- lower bound
- branch and bound
- tabu search
- sat solvers
- search algorithm
- satisfiability problem
- maximum satisfiability
- stochastic local search
- sat problem
- constraint satisfaction
- linear programming
- boolean satisfiability
- variable ordering
- search space
- max sat solver
- randomly generated
- upper bound
- cnf formula
- probability distribution