Lifting symmetry breaking constraints with inductive logic programming - Tarzariol, Alice; Gebser, Martin; Schekotihin, Konstantin (Machine Learning, 2022)