Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints.
Xizhe ZhangJian GaoYizhi LvWeixiong ZhangPublished in: IJCAI (2020)
Keyphrases
- constraint propagation
- constraint programming
- constraint solving
- arc consistency
- constraint satisfaction
- constraint solver
- constraint satisfaction problems
- global constraints
- constraint graph
- interval arithmetic
- constrained problems
- binary constraints
- finite domain
- constraint reasoning
- path consistency
- soft constraints
- constraint networks
- temporal constraints
- temporal constraint satisfaction problems
- russian doll search
- constraint problems
- non binary
- combinatorial problems
- constrained optimization
- constraint logic programming
- linear constraints
- interval algebra
- context aware
- special case
- backtracking algorithms
- search space
- relational databases