2 search results - page 1 / 1 » Box consistency through adaptive shaving |
147
Voted
SAC
2010
ACM
16 years 43 min 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...
160
click to vote
CP
2007
Springer
16 years 26 days 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...