Parameterized Bounded-Depth Frege Is Not Optimal

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22006-7_53 ◽

2011 ◽

pp. 630-641 ◽

Author(s):

Olaf Beyersdorff ◽

Nicola Galesi ◽

Massimo Lauria ◽

Alexander Razborov

Download Full-text