- The Regular Languages of First-Order Logic with One Alternation Corentin Barloy Michael Cadilhac Charles Paperman Thomas Zeume Mon 29 August 2022
- Cosmological Lower Bound on the Circuit Complexity of a Small Problem in Logic Larry Stockmeyer Albert R. Meyer Wed 22 January 2020
- Monotone Circuit Lower Bounds from Resolution Ankit Garg Mika Gøøs Pritish Kamath Dmitry Sokolov Mon 14 October 2019
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
