Antonina Kolokolova
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
14
Active years
2001–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | STOC | Kolmogorov's Approach to P vs. NP: Chain Rules for Time-Bounded Kolmogorov Complexity. | Valentine Kabanets, Antonina Kolokolova |
| 2026 | SAT | Conditional Autarkies: Hard Formulas Made Easy. | Ilario Bonacina, Maria Luisa Bonet, Antonina Kolokolova, Massimo Lauria |
| 2023 | SAT | Limits of CDCL Learning via Merge Resolution. | Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh |
| 2022 | ALT | Learning with Distributional Inverters. | Eric Binnendyk, Marco Carmosino, Antonina Kolokolova, R. Ramyaa, Manuel Sabin |
| 2022 | EUROGP | Creating Diverse Ensembles for Classification with Genetic Programming and Neuro-MAP-Elites. | Kyle L. Nickerson, Antonina Kolokolova, Ting Hu |
| 2021 | FOCS | LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic. | Marco Carmosino, Valentine Kabanets, Antonina Kolokolova, Igor C. Oliveira |
| 2021 | ICALP | Lifting for Constant-Depth Circuits and Applications to MCSP. | Marco Carmosino, Kenneth Hoover, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova |
| 2021 | SAT | On the Hierarchical Community Structure of Practical Boolean Formulas. | Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh |
| 2019 | AI | Compression Improves Image Classification Accuracy. | Nnamdi Ozah, Antonina Kolokolova |
| 2019 | ICALP | AC | Alexander Golovnev, Rahul Ilango, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova, Avishay Tal |
| 2018 | CAV | The Proof Complexity of SMT Solvers. | Robert Robere, Antonina Kolokolova, Vijay Ganesh |
| 2017 | MFCS | Does Looking Inside a Circuit Help?. | Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova, Pierre McKenzie, Shadab Romani |
| 2017 | SODA | Completeness for First-Order Properties on Sparse Structures with Algorithmic Applications. | Jiawei Gao, Russell Impagliazzo, Antonina Kolokolova, R. Ryan Williams |
| 2010 | LPAR | On the Complexity of Model Expansion. | Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska |
| 2009 | STOC | An axiomatic approach to algebrization. | Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova |
| 2008 | CiE | Many Facets of Complexity in Logic. | Antonina Kolokolova |
| 2005 | CSL | Closure Properties of Weak Systems of Bounded Arithmetic. | Antonina Kolokolova |
| 2004 | LICS | A Second-Order Theory for NL. | Stephen A. Cook, Antonina Kolokolova |
| 2001 | LICS | A Second-Order System for Polytime Reasoning Using Graedel's Theorem. | Stephen A. Cook, Antonina Kolokolova |