Keyphrases
- max sat
- weighted max sat
- branch and bound algorithm
- sat solvers
- tabu search
- search algorithm
- lower bound
- satisfiability problem
- random sat instances
- branch and bound
- sat problem
- randomly generated
- sat instances
- maximum satisfiability
- random sat
- constraint satisfaction
- unsatisfiable cores
- variable ordering
- genetic algorithm
- stochastic local search
- linear programming
- cnf formula
- boolean satisfiability