Keyphrases
- max sat
- weighted max sat
- search algorithm
- sat solvers
- lower bound
- branch and bound algorithm
- tabu search
- satisfiability problem
- sat problem
- branch and bound
- stochastic local search
- variable ordering
- linear programming
- constraint satisfaction
- boolean satisfiability
- maximum satisfiability
- unsatisfiable cores
- cnf formula
- randomly generated
- decision problems
- search space
- reinforcement learning
- neural network