Lifting Symmetry Breaking Constraints with Inductive Logic Programming.

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin

Browse the full IJCAI paper archive.