DEPICT: A high-level formal language for modeling constraint satisfaction problems.
Abdulwahed M. AbbasEdward P. K. TsangAhmad H. NasriPublished in: Int. J. Autom. Comput. (2008)
Keyphrases
- constraint satisfaction problems
- formal language
- high level
- constraint satisfaction
- constraint programming
- np complete
- constraint propagation
- non binary
- low level
- search space
- combinatorial problems
- constraint solving
- arc consistency
- natural language interface
- pseudo boolean optimization
- forward checking
- soft constraints
- np hard
- formal semantics
- configuration problems
- solving constraint satisfaction problems
- finding optimal solutions
- lower bound
- representation language
- machine learning
- decomposition methods
- constraint networks
- natural language
- constraint solver
- semantic information