TY  - RPRT
TI  - Parameterized circuit complexity of model checking first-order logic on sparse structures
AU  - Michał Pilipczuk
AU  - Sebastian Siebertz
AU  - Szymon Toruńczyk
PY  - 2018
UR  - https://arxiv.org/abs/1805.03488
ID  - 1805.03488
ER  -