Yap, R. H. C.; Xia, W.; Wang, R. Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas. AAAI 2020, 34, 13590-13597.