Antonina Kolokolova

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
LEARN-uniform circuit lower bounds and provability in bounded arithmetic	2025-08-13	Paper
Limits of CDCL learning via merge resolution	2024-11-26	Paper
Complexity barriers as independence	2024-09-06	Paper
The proof complexity of SMT solvers Computer Aided Verification	2023-05-05	Paper
scientific article; zbMATH DE number 7561559 (Why is no real title available?)	2022-07-21	Paper
On the hierarchical community structure of practical Boolean formulas (available as arXiv preprint)	2022-03-22	Paper
Agnostic Learning from Tolerant Natural Proofs	2021-07-28	Paper
Stabbing planes (available as arXiv preprint)	2021-06-15	Paper
Expander construction in \(\mathrm{VNC}^1\) Annals of Pure and Applied Logic	2020-06-02	Paper
Does looking inside a circuit help?	2020-05-26	Paper
Completeness for first-order properties on sparse structures with algorithmic applications ACM Transactions on Algorithms	2019-03-28	Paper
Completeness for first-order properties on sparse structures with algorithmic applications Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms	2018-07-16	Paper
Expander construction in \(\mathsf{VNC}^1\)	2018-05-03	Paper
Learning algorithms from natural proofs	2017-10-10	Paper
Tighter connections between derandomization and circuit lower bounds	2017-08-31	Paper
Mining circuit lower bound proofs for meta-algorithms Computational Complexity	2015-06-23	Paper
An axiomatic approach to algebrization Proceedings of the forty-first annual ACM symposium on Theory of computing	2015-02-04	Paper
Expressing versus proving: relating forms of complexity in logic Journal of Logic and Computation	2012-05-07	Paper
On the complexity of model expansion Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
Many Facets of Complexity in Logic Logic and Theory of Algorithms	2008-06-19	Paper
Computer Science Logic Lecture Notes in Computer Science	2006-11-01	Paper
A second-order system for polytime reasoning based on Grädel's theorem. Annals of Pure and Applied Logic	2003-11-25	Paper

Research outcomes over time

This page was built for person: Antonina Kolokolova