Keyphrases
- max sat
- hard and soft constraints
- integrity checking
- constraint programming
- weighted max sat
- constraint satisfaction
- sat solvers
- soft constraints
- lower bound
- tabu search
- satisfiability problem
- search algorithm
- branch and bound algorithm
- integrity constraints
- branch and bound
- hard constraints
- sat problem
- constraint satisfaction problems
- knowledge representation
- logic programming
- linear programming
- max sat solver
- combinatorial problems
- phase transition
- boolean satisfiability
- upper bound
- integer programming
- cnf formula
- search strategies
- maximum satisfiability
- deductive databases
- computational properties
- constraint solving
- metaheuristic
- orders of magnitude