Xu, Y.; Khalil, E. B.; Sanner, S. Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus. AAAI 2023, 37, 4115-4122.