DMCA

Narrow proofs may be maximally long. (2014)

by Albert Atserias , Massimo Lauria , Jakob Nordström
Venue:In Proceedings of the 29th Annual IEEE Conference on Computational Complexity (CCC ’14),
Citations:4 - 3 self