Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies.
Carlos CastroPublished in: Fundam. Informaticae (1998)
Keyphrases
- constraint satisfaction problems
- rewrite rules
- constraint satisfaction
- constraint problems
- constraint solver
- constraint programming
- constraint propagation
- global constraints
- non binary
- constraint solving
- arc consistency
- np complete
- np hard
- search space
- partial constraint satisfaction
- transformation rules
- sat solvers
- consistency constraints
- search strategies
- ordering heuristics
- complex queries
- phase transition
- expressive power
- databases
- finding optimal solutions