Author:
Atserias Albert,Bonet Maria Luisa,Esteban Juan Luis
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference19 articles.
1. The monotone circuit complexity of boolean functions;Alon;Combinatorica,1987
2. Exponential lower bounds for the pigeonhole principle;Beame,1992
3. The efficiency of resolution and Davis-Putnam procedures;Beame;SIAM Journal on Computing,2002
4. Simplified and improved resolution lower bounds;Beame,1996
5. Short proofs are narrow: Resolution made simple;Ben-Sasson;J. Assoc. Comput. Mach.,2001
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献