Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning