Parameterized circuit complexity of model-checking on sparse structures.
Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk
Browse the full LICS paper archive.
Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk
Browse the full LICS paper archive.