Narrow Proofs May Be Maximally Long

2014 IEEE 29th Conference on Computational Complexity (CCC) ◽

10.1109/ccc.2014.36 ◽

2014 ◽

Cited By ~ 6

Author(s):

Albert Atserias ◽

Massimo Lauria ◽

Jakob Nordstrom