Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction