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