Browsing by Author Atserias, Albert
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| Sep-2024 | A Formalization of Kannan’s Circuit Lower Bound in Bounded Arithmetic | Cantero de Arriba, Carlos |
| 17-Jan-2013 | Sherali-Adams Relaxations and Indistinguishability in Counting Logics | Atserias, Albert; Maneva, Elitza |