Mining circuit lower bound proofs for meta-algorithms

Ruiwen Chen
, Valentine Kabanets
, Antonina Kolokolova
, Ronen Shaltiel
, David Zuckerman

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 results

Filter

2015
Mining Circuit Lower Bound Proofs for Meta-Algorithms
Chen, R., Kabanets, V., Kolokolova, A., Shaltiel, R. & Zuckerman, D., 26 Jun 2015, In: Computational Complexity. 24, 2, p. 333-392 60 p., 100.
Research output: Contribution to journal › Article › peer-review