EasyChair Smart Slide
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Lifting Symmetry Breaking Constraints with Inductive Logic Programming