Computation of Renameable Horn Backdoors.

Stephan Kottler, Michael Kaufmann, Carsten Sinz

Browse the full SAT paper archive.