Mining circuit lower bound proofs for meta-algorithms (2014)

by R Chen, V Kabanets, A Kolokolova, R Shaltiel, D Zuckerman
Venue:In Proceedings of the 29th Annual IEEE Conference on Computational Complexity, CCC ’14