Lifting Symmetry Breaking Constraints with Inductive Logic Programming

Open in new window