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...