Title :
Hard examples for bounded depth frege
Author_Institution :
Institute of Computer Science, Hebrew University
fDate :
6/24/1905 12:00:00 AM
Keywords :
Bipartite graph; Calculus; Chromium; Computational complexity; Computer science; Graph theory; Logic; Mathematics; Scholarships; Size measurement;
Conference_Titel :
Computational Complexity, 2002. Proceedings. 17th IEEE Annual Conference on
Print_ISBN :
0-7695-1468-5
DOI :
10.1109/CCC.2002.1004321