Assisting Domain Experts to Formulate and Solve Constraint Satisfaction Problems.
Derek H. SleemanStuart W. ChalmersPublished in: EKAW (2006)
Keyphrases
- constraint satisfaction problems
- domain experts
- constraint satisfaction
- domain knowledge
- finding optimal solutions
- knowledge acquisition
- graph coloring problems
- np complete
- domain specific
- constraint propagation
- constraint programming
- constraint solving
- combinatorial problems
- search space
- knowledge base
- arc consistency
- sat problem
- non binary
- solving planning problems
- machine learning
- constraint networks
- solving constraint satisfaction problems
- forward checking
- pseudo boolean optimization
- decomposition methods
- constraint problems
- soft constraints
- artificial intelligence
- reasoning problems
- general purpose
- np hard
- special case
- lower bound
- dynamic constraint satisfaction problems