Developing Finite Domain Constraints - A Data Model Approach.
Kit-Ying HuiPeter M. D. GrayPublished in: Computational Logic (2000)
Keyphrases
- finite domain
- data model
- constraint programming
- constraint satisfaction problems
- constraint propagation
- constraint solving
- constraint solver
- constraint logic programming
- satisfiability problem
- database systems
- combinatorial problems
- query language
- constraint satisfaction
- data integration
- answer set programming
- object oriented
- global constraints
- constraint networks
- xml documents
- knowledge base
- state variables
- reinforcement learning