A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming.

Alice Tarzariol

Browse the full IJCAI paper archive.