3 citations · 3 across the 1 of their papers we have counts for
1 paper
Christian Drescher, Oana Tifrea, Toby Walsh
In the context of Answer Set Programming, this paper investigates symmetry-breaking to eliminate symmetric parts of the search space and, thereby, simplify the solution process. We…