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 |