79 citations · 126 across the 29 of their papers we have counts for
1 paper · 1 filter
Johannes Klaus Fichte
Backdoors of answer-set programs are sets of atoms that represent clever reasoning shortcuts through the search space. Assignments to backdoor atoms reduce the given program to sev…