A constraint logic programming approach for generating all perfect matchings.
Frank HararyGopal GuptaPublished in: Appl. Math. Lett. (2002)
Keyphrases
- constraint logic programming
- constraint solving
- logic programming language
- answer set programming
- logic programming
- constraint programming
- temporal reasoning
- programming paradigms
- global constraints
- proof theoretic
- constraint satisfaction problems
- constraint propagation
- finite domain
- special case
- databases
- general purpose