Keyphrases
- cardinality constraints
- max sat
- weighted max sat
- sat solvers
- functional dependencies
- lower bound
- search algorithm
- branch and bound algorithm
- tabu search
- branch and bound
- satisfiability problem
- linear programming
- sat problem
- constraint satisfaction
- entity relationship
- integrity constraints
- maximum satisfiability
- deductive databases
- database schema
- closed sets
- max sat solver
- constraint satisfaction problems
- search space
- inference rules
- temporal logic
- np complete
- evolutionary algorithm
- boolean satisfiability
- relational databases
- database