Combinatorial Problems, Combinator Equations and Normal Forms.
Corrado BöhmMariangiola Dezani-CiancagliniPublished in: ICALP (1974)
Keyphrases
- combinatorial problems
- normal form
- constraint programming
- metaheuristic
- constraint satisfaction problems
- combinatorial optimization
- graph coloring
- constraint satisfaction
- database design
- traveling salesman problem
- solving hard
- functional dependencies
- relational databases
- phase transition
- nested relations
- global constraints
- formal definitions
- data dependencies
- graph colouring
- branch and bound algorithm
- prime implicates
- simulated annealing
- constraint propagation
- database
- optimization problems
- function symbols
- optimal solution
- database systems