Keyphrases
- constraint satisfaction problems
- ordering heuristics
- weighted sum
- constraint satisfaction
- relative importance
- constraint propagation
- decision diagrams
- real valued
- arc consistency
- information retrieval
- linear combination
- backtracking algorithm
- data sets
- boolean functions
- exact solution
- non binary
- path consistency
- boolean formula
- constraint problems
- constraint programming
- learning algorithm
- solving constraint satisfaction problems
- search space