Dependency-Directed Binding of Variables For Constraint Logic Programming.
George K. PapakonstantinouC. VoliotisNikitas M. SgourosPublished in: DEXA (1994)
Keyphrases
- constraint logic programming
- finite domain
- constraint solving
- logic programming language
- logic programming
- constraint programming
- answer set programming
- constraint propagation
- temporal reasoning
- proof theoretic
- dependency relations
- global constraints
- programming paradigms
- dependency structure
- logic programs
- constraint solver
- artificial intelligence
- integer programming
- low level
- special case