Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints.
Lengning LiuMiroslaw TruszczynskiPublished in: CP (2003)
Keyphrases
- propositional logic
- cardinality constraints
- satisfiability testing
- propositional satisfiability
- first order logic
- belief revision
- search algorithm
- search space
- combinatorial optimization
- functional dependencies
- databases
- simulated annealing
- genetic algorithm
- tabu search
- entity relationship
- deductive databases
- database schema
- belief change
- objective function
- artificial intelligence