| No. |
Title |
Author |
Year |
| 1 |
Limits of CDCL Learning via Merge Resolution |
Vinyals, Marc et al. |
2023 |
| 2 |
Lifting for Constant-Depth Circuits and Applications to MCSP |
Carmosino, Marco et al. |
2021 |
| 3 |
AC^0[p] Lower Bounds Against MCSP via the Coin Problem |
Golovnev, Alexander et al. |
2019 |
| 4 |
Stabbing Planes |
Beame, Paul et al. |
2018 |
| 5 |
Agnostic Learning from Tolerant Natural Proofs |
Carmosino, Marco L. et al. |
2017 |
| 6 |
Does Looking Inside a Circuit Help? |
Impagliazzo, Russell et al. |
2017 |
| 7 |
Expander Construction in VNC1 |
Buss, Sam et al. |
2017 |
| 8 |
Learning Algorithms from Natural Proofs |
Carmosino, Marco L. et al. |
2016 |
| 9 |
Tighter Connections between Derandomization and Circuit Lower Bounds |
Carmosino, Marco L. et al. |
2015 |
| 10 |
An Axiomatic Approach to Algebrization |
Impagliazzo, Russell et al. |
2010 |
