R. Wang and R. H. Yap, “The Expressive Power of Ad-Hoc Constraints for Modelling CSPs”, AAAI, vol. 37, no. 4, pp. 4104–4114, Jun. 2023.