Efficient Constraint Propagation for Graph Coloring.
Frédéric BoussemartFred HemeryChristophe LecoutreMouny Samy ModeliarPublished in: Electron. Notes Discret. Math. (2011)
Keyphrases
- constraint propagation
- graph coloring
- constraint satisfaction problems
- constraint programming
- combinatorial problems
- constraint satisfaction
- temporal constraints
- tree search
- np complete problems
- constraint graph
- computational complexity
- np complete
- model checking
- temporal reasoning
- arc consistency
- path consistency