A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming

Open in new window