Maintaining generalized arc consistency on ad-hoc n-ary boolean constraints (2006)

by Kenil C K Cheng, Roland H C Yap
Venue:in ECAI 2006