Hard examples for the bounded depth Frege proof system
Eli Ben-SassonVolume:
11
Language:
english
Pages:
28
Journal:
Computational Complexity
DOI:
10.1007/s00037-002-0172-5
Date:
June, 2002
File:
PDF, 297 KB
english, 2002