Using constraint metaknowledge to reduce arc consistency computation (1999)

by C Bessière, E G Freuder, J-C Régin
Venue:Artificial Intelligence