Olaf Beyersdorff, Nicola Galesi, Massimo Lauria, Alexander A. Razborov
Parameterized Bounded-Depth Frege Is Not Optimal
ICALP, 2011.
@inproceedings{ICALP-v1-2011-BeyersdorffGLR,
author = "Olaf Beyersdorff and Nicola Galesi and Massimo Lauria and Alexander A. Razborov",
booktitle = "{Proceedings of the 38th International Colloquium on Automata, Languages and Programming, Part I}",
doi = "10.1007/978-3-642-22006-7_53",
isbn = "978-3-642-22005-0",
pages = "630--641",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Parameterized Bounded-Depth Frege Is Not Optimal}",
volume = 6755,
year = 2011,
}
Tags: