A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint.
Alejandro Lpez-Ortiz, Claude-Guy Quimper, John Tromp, Peter van Beek
Browse the full IJCAI paper archive.
Alejandro Lpez-Ortiz, Claude-Guy Quimper, John Tromp, Peter van Beek
Browse the full IJCAI paper archive.