Keyphrases
- max sat
- sat solvers
- maximum satisfiability
- sat solving
- weighted max sat
- boolean satisfiability
- sat problem
- constraint satisfaction
- graph coloring
- orders of magnitude
- sat instances
- unit propagation
- propositional satisfiability
- lower bound
- tabu search
- branch and bound algorithm
- search tree
- branch and bound
- unsatisfiable cores
- max sat solver
- search algorithm
- variable ordering
- stochastic local search
- clause learning
- satisfiability problem
- search strategies
- search space
- special case
- linear programming
- information retrieval
- cnf formula
- column generation