Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint.
Luhan ZhenZhanshan LiYanzhi LiHongbo LiPublished in: IJCAI (2023)
Keyphrases
- arc consistency algorithm
- arc consistency
- strongly connected components
- global constraints
- constraint networks
- constraint satisfaction problems
- constraint solver
- binary constraints
- space complexity
- shortest path
- constraint programming
- constraint propagation
- multi criteria
- connected components
- constraint satisfaction
- constraint solving
- argumentation semantics