Josh Alman, Ryan Williams, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, 2015, 136
Ruiwen Chen, Valentine Kabanets, Antonina Kolokolova, Ronen Shaltiel, David Zuckerman, “Mining Circuit Lower Bound Proofs for Meta-Algorithms”, comput. complex., 24:2 (2015), 333
Hervé Fournier, Nutan Limaye, Meena Mahajan, Srikanth Srinivasan, Lecture Notes in Computer Science, 9235, Mathematical Foundations of Computer Science 2015, 2015, 324
Nikhil Balaji, Andreas Krebs, Nutan Limaye, Lecture Notes in Computer Science, 9198, Computing and Combinatorics, 2015, 199
Andrew Drucker, Fabian Kuhn, Rotem Oshman, Proceedings of the 2014 ACM symposium on Principles of distributed computing, 2014, 367
Akinori KAWACHI, “Proving Circuit Lower Bounds in High Uniform Classes”, IIS, 20:1 (2014), 1
Ryan Williams, 2014 IEEE 29th Conference on Computational Complexity (CCC), 2014, 248
Ruiwen Chen, Valentine Kabanets, Antonina Kolokolova, Ronen Shaltiel, David Zuckerman, 2014 IEEE 29th Conference on Computational Complexity (CCC), 2014, 262
Ryan Williams, Proceedings of the forty-sixth annual ACM symposium on Theory of computing, 2014, 664
Kei UCHIZAWA, “Lower Bounds for Threshold Circuits of Bounded Energy”, IIS, 20:1 (2014), 27