Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach.

Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki

Browse the full KR paper archive.