Learning to Break Symmetries for Efficient Optimization in Answer Set Programming.

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law

Browse the full AAAI paper archive.