Recursive Backdoors for SAT.

Nikolas Mhlmann, Sebastian Siebertz, Alexandre Vigny

Browse the full MFCS paper archive.