Simpler and Incremental Consistency Checking and Arc Consistency Filtering Algorithms for the Weighted Spanning Tree Constraint.
Jean-Charles RéginPublished in: CPAIOR (2008)
Keyphrases
- consistency checking
- arc consistency
- spanning tree
- space complexity
- path consistency
- binary constraints
- singleton arc consistency
- generalized arc consistency
- constraint networks
- constraint graph
- constraint satisfaction problems
- constraint satisfaction
- global constraints
- constraint propagation
- minimum spanning tree
- query answering
- constraint programming
- data model
- non binary
- minimum weight
- forward checking
- arc consistency algorithm
- temporal constraints
- temporal reasoning
- state space