Enforcing arc consistency using bitwise operations (2008)

by C Lecoutre, J Vion
Venue:Constraint Programming Letters