2 search results - page 1 / 1 » Box consistency through adaptive shaving |
SAC
2010
ACM
13 years 10 months ago
2010
ACM
The canonical algorithm to enforce box consistency over a constraint relies on a dichotomic process to isolate the leftmost and rightmost solutions. We identify some weaknesses of...
CP
2007
Springer
13 years 10 months ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...