No. |
Title |
Author |
Year |
---|

1 |
Sampling and Certifying Symmetric Functions |
Filmus, Yuval et al. |
2023 |

2 |
Pseudorandom Generators, Resolution and Heavy Width |
Sokolov, Dmitry |
2022 |

3 |
Branching Programs with Bounded Repetitions and Flow Formulas |
Sofronova, Anastasia et al. |
2021 |

4 |
The Power of Negative Reasoning |
de Rezende, Susanna F. et al. |
2021 |

5 |
Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs |
de Rezende, Susanna F. et al. |
2020 |

6 |
Trade-Offs Between Size and Degree in Polynomial Calculus |
Lagarde, Guillaume et al. |
2020 |

7 |
Adventures in Monotone Complexity and TFNP |
Göös, Mika et al. |
2018 |

8 |
Reordering Rule Makes OBDD Proof Systems Stronger |
Buss, Sam et al. |
2018 |

9 |
On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables |
Itsykson, Dmitry et al. |
2017 |

10 |
Complexity of Distributions and Average-Case Hardness |
Itsykson, Dmitry et al. |
2016 |