Using Constraint Metaknowledge to Reduce Arc Consistency Computation (1999)

by Christian Bessière, Eugene C. Freuder
Venue:Artificial Intelligence