No. Title Author Year
1 A #SAT Algorithm for Small Constant-Depth Circuits with PTF Gates Bajpai, Swapnam et al. 2018
2 A Quadratic Size-Hierarchy Theorem for Small-Depth Multilinear Formulas Chillara, Suryajith et al. 2018
3 A Unified Method for Placing Problems in Polylogarithmic Depth Krebs, Andreas et al. 2018
4 Small-depth Multilinear Formula Lower Bounds for Iterated Matrix Multiplication, with Applications Chillara, Suryajith et al. 2018
5 Lower Bounds and PIT for Non-Commutative Arithmetic Circuits with Restricted Parse Trees Lagarde, Guillaume et al. 2017
6 DLOGTIME Proof Systems Krebs, Andreas et al. 2013
7 Planar Graph Isomorphism is in Log-Space Datta, Samir et al. 2010
8 3-connected Planar Graph Isomorphism is in Log-space Datta, Samir et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI