Y. Xu, E. B. Khalil, and S. Sanner, “Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus”, AAAI, vol. 37, no. 4, pp. 4115-4122, Jun. 2023.