DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems.
Abdulwahed M. AbbasEdward P. K. TsangAhmad H. NasriPublished in: AICCSA (2006)
Keyphrases
- constraint satisfaction problems
- formal language
- high level
- constraint satisfaction
- constraint propagation
- low level
- constraint programming
- search space
- formal semantics
- non binary
- combinatorial problems
- np complete
- arc consistency
- constraint solving
- modeling language
- decomposition methods
- symmetry breaking
- representation language
- partial constraint satisfaction
- constraint problems
- forward checking
- constraint networks
- np hard
- natural language interface
- fine grained
- domain knowledge
- expert systems
- natural language
- constraint graph
- optimal solution