A CHR-based implementation of known arc-consistency.
Marco AlbertiMarco GavanelliEvelina LammaPaola MelloMichela MilanoPublished in: Theory Pract. Log. Program. (2005)
Keyphrases
- arc consistency
- constraint satisfaction problems
- constraint satisfaction
- max csp
- constraint handling rules
- constraint propagation
- constraint programming
- constraint networks
- path consistency
- constraint reasoning
- arc consistency algorithm
- space complexity
- global constraints
- soft constraints
- arithmetic constraints
- video sequences
- non binary
- forward checking
- branch and bound search
- worst case time complexity