Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Antonina Kolokolova
@inproceedings{DBLP:conf/sat/Vinyals0FKG23,
author = {Marc Vinyals and
Chunxiao Li and
Noah Fleming and
Antonina Kolokolova and
Vijay Ganesh},
editor = {Meena Mahajan and
Friedrich Slivovsky},
title = {Limits of {CDCL} Learning via Merge Resolution},
booktitle = {26th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
series = {LIPIcs},
volume = {271},
pages = {27:1--27:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.SAT.2023.27},
doi = {10.4230/LIPICS.SAT.2023.27},
timestamp = {Thu, 10 Aug 2023 14:37:28 +0200},
biburl = {https://dblp.org/rec/conf/sat/Vinyals0FKG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-09422,
author = {Marc Vinyals and
Chunxiao (Ian) Li and
Noah Fleming and
Antonina Kolokolova and
Vijay Ganesh},
title = {Limits of {CDCL} Learning via Merge Resolution},
journal = {CoRR},
volume = {abs/2304.09422},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.09422},
doi = {10.48550/ARXIV.2304.09422},
eprinttype = {arXiv},
eprint = {2304.09422},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-09422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/FlemingGK0V23,
author = {Noah Fleming and
Vijay Ganesh and
Antonina Kolokolova and
Chunxiao Li and
Marc Vinyals},
title = {Limits of {CDCL} Learning via Merge Resolution},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR23-052}},
year = {2023},
url = {https://eccc.weizmann.ac.il/report/2023/052},
eprinttype = {ECCC},
eprint = {TR23-052},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/FlemingGK0V23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/BinnendykCKRS22,
author = {Eric Binnendyk and
Marco Carmosino and
Antonina Kolokolova and
R. Ramyaa and
Manuel Sabin},
editor = {Sanjoy Dasgupta and
Nika Haghtalab},
title = {Learning with Distributional Inverters},
booktitle = {International Conference on Algorithmic Learning Theory, 29 March
- 1 April 2022, Paris, France},
series = {Proceedings of Machine Learning Research},
volume = {167},
pages = {90--106},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v167/binnendyk22a.html},
timestamp = {Fri, 10 Mar 2023 11:41:45 +0100},
biburl = {https://dblp.org/rec/conf/alt/BinnendykCKRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurogp/NickersonKH22,
author = {Kyle L. Nickerson and
Antonina Kolokolova and
Ting Hu},
editor = {Eric Medvet and
Gisele L. Pappa and
Bing Xue},
title = {Creating Diverse Ensembles for Classification with Genetic Programming
and Neuro-MAP-Elites},
booktitle = {Genetic Programming - 25th European Conference, EuroGP 2022, Held
as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13223},
pages = {212--227},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-02056-8\_14},
doi = {10.1007/978-3-031-02056-8\_14},
timestamp = {Fri, 02 Dec 2022 16:25:15 +0100},
biburl = {https://dblp.org/rec/conf/eurogp/NickersonKH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/NickersonTKSRHH22,
author = {Kyle L. Nickerson and
Terrence S. Tricco and
Antonina Kolokolova and
Farzaneh Shoeleh and
Charles Robertson and
John Hawkin and
Ting Hu},
editor = {Massih{-}Reza Amini and
St{\'{e}}phane Canu and
Asja Fischer and
Tias Guns and
Petra Kralj Novak and
Grigorios Tsoumakas},
title = {Banksformer: {A} Deep Generative Model for Synthetic Transaction Sequences},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2022, Grenoble, France, September 19-23, 2022, Proceedings,
Part {VI}},
series = {Lecture Notes in Computer Science},
volume = {13718},
pages = {121--136},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26422-1\_8},
doi = {10.1007/978-3-031-26422-1\_8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/NickersonTKSRHH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CarmosinoKKO21,
author = {Marco Carmosino and
Valentine Kabanets and
Antonina Kolokolova and
Igor C. Oliveira},
title = {LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic},
booktitle = {62nd {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
2021, Denver, CO, USA, February 7-10, 2022},
pages = {770--780},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FOCS52979.2021.00080},
doi = {10.1109/FOCS52979.2021.00080},
timestamp = {Tue, 30 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/focs/CarmosinoKKO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CarmosinoHIKK21,
author = {Marco Carmosino and
Kenneth Hoover and
Russell Impagliazzo and
Valentine Kabanets and
Antonina Kolokolova},
editor = {Nikhil Bansal and
Emanuela Merelli and
James Worrell},
title = {Lifting for Constant-Depth Circuits and Applications to {MCSP}},
booktitle = {48th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
series = {LIPIcs},
volume = {198},
pages = {44:1--44:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2021.44},
doi = {10.4230/LIPICS.ICALP.2021.44},
timestamp = {Tue, 15 Feb 2022 07:54:27 +0100},
biburl = {https://dblp.org/rec/conf/icalp/CarmosinoHIKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LiCMVFKMG21,
author = {Chunxiao Li and
Jonathan Chung and
Soham Mukherjee and
Marc Vinyals and
Noah Fleming and
Antonina Kolokolova and
Alice Mu and
Vijay Ganesh},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {On the Hierarchical Community Structure of Practical Boolean Formulas},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {359--376},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_25},
doi = {10.1007/978-3-030-80223-3\_25},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LiCMVFKMG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-14992,
author = {Chunxiao Li and
Jonathan Chung and
Soham Mukherjee and
Marc Vinyals and
Noah Fleming and
Antonina Kolokolova and
Alice Mu and
Vijay Ganesh},
title = {On the Hierarchical Community Structure of Practical {SAT} Formulas},
journal = {CoRR},
volume = {abs/2103.14992},
year = {2021},
url = {https://arxiv.org/abs/2103.14992},
eprinttype = {arXiv},
eprint = {2103.14992},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-14992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-12340,
author = {Eric Binnendyk and
Marco Carmosino and
Antonina Kolokolova and
Ramyaa Ramyaa and
Manuel Sabin},
title = {Learning with distributional inverters},
journal = {CoRR},
volume = {abs/2112.12340},
year = {2021},
url = {https://arxiv.org/abs/2112.12340},
eprinttype = {arXiv},
eprint = {2112.12340},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-12340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/CarmosinoKKO21,
author = {Marco Carmosino and
Valentine Kabanets and
Antonina Kolokolova and
Igor C. Oliveira},
title = {LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR21-095}},
year = {2021},
url = {https://eccc.weizmann.ac.il/report/2021/095},
eprinttype = {ECCC},
eprint = {TR21-095},
timestamp = {Tue, 30 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/CarmosinoKKO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BussKKK20,
author = {Sam Buss and
Valentine Kabanets and
Antonina Kolokolova and
Michal Kouck{\'{y}}},
title = {Expander construction in VNC\({}^{\mbox{1}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {171},
number = {7},
pages = {102796},
year = {2020},
url = {https://doi.org/10.1016/j.apal.2020.102796},
doi = {10.1016/J.APAL.2020.102796},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BussKKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-15772,
author = {Antonina Kolokolova and
Mitchell Billard and
Robert Bishop and
Moustafa Elsisy and
Zachary Northcott and
Laura Graves and
Vineel Nagisetty and
Heather Patey},
title = {GANs {\&} Reels: Creating Irish Music using a Generative Adversarial
Network},
journal = {CoRR},
volume = {abs/2010.15772},
year = {2020},
url = {https://arxiv.org/abs/2010.15772},
eprinttype = {arXiv},
eprint = {2010.15772},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-15772.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talg/GaoIKW19,
author = {Jiawei Gao and
Russell Impagliazzo and
Antonina Kolokolova and
Ryan Williams},
title = {Completeness for First-order Properties on Sparse Structures with
Algorithmic Applications},
journal = {{ACM} Trans. Algorithms},
volume = {15},
number = {2},
pages = {23:1--23:35},
year = {2019},
url = {https://doi.org/10.1145/3196275},
doi = {10.1145/3196275},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/talg/GaoIKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/OzahK19,
author = {Nnamdi Ozah and
Antonina Kolokolova},
editor = {Marie{-}Jean Meurs and
Frank Rudzicz},
title = {Compression Improves Image Classification Accuracy},
booktitle = {Advances in Artificial Intelligence - 32nd Canadian Conference on
Artificial Intelligence, Canadian {AI} 2019, Kingston, ON, Canada,
May 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11489},
pages = {525--530},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18305-9\_55},
doi = {10.1007/978-3-030-18305-9\_55},
timestamp = {Thu, 28 Sep 2023 12:27:18 +0200},
biburl = {https://dblp.org/rec/conf/ai/OzahK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GolovnevIIKKT19,
author = {Alexander Golovnev and
Rahul Ilango and
Russell Impagliazzo and
Valentine Kabanets and
Antonina Kolokolova and
Avishay Tal},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {AC\({}^{\mbox{0}}\)[p] Lower Bounds Against {MCSP} via the Coin Problem},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {66:1--66:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.66},
doi = {10.4230/LIPICS.ICALP.2019.66},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/icalp/GolovnevIIKKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/GolovnevIIKKT19,
author = {Alexander Golovnev and
Rahul Ilango and
Russell Impagliazzo and
Valentine Kabanets and
Antonina Kolokolova and
Avishay Tal},
title = {AC0[p] Lower Bounds against {MCSP} via the Coin Problem},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR19-018}},
year = {2019},
url = {https://eccc.weizmann.ac.il/report/2019/018},
eprinttype = {ECCC},
eprint = {TR19-018},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/GolovnevIIKKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RobereKG18,
author = {Robert Robere and
Antonina Kolokolova and
Vijay Ganesh},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {The Proof Complexity of {SMT} Solvers},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {275--293},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_18},
doi = {10.1007/978-3-319-96142-2\_18},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/RobereKG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/BeameFIKPPR18,
author = {Paul Beame and
Noah Fleming and
Russell Impagliazzo and
Antonina Kolokolova and
Denis Pankratov and
Toniann Pitassi and
Robert Robere},
editor = {Anna R. Karlin},
title = {Stabbing Planes},
booktitle = {9th Innovations in Theoretical Computer Science Conference, {ITCS}
2018, January 11-14, 2018, Cambridge, MA, {USA}},
series = {LIPIcs},
volume = {94},
pages = {10:1--10:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ITCS.2018.10},
doi = {10.4230/LIPICS.ITCS.2018.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/innovations/BeameFIKPPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/approx/CarmosinoIKK17,
author = {Marco L. Carmosino and
Russell Impagliazzo and
Valentine Kabanets and
Antonina Kolokolova},
editor = {Klaus Jansen and
Jos{\'{e}} D. P. Rolim and
David Williamson and
Santosh S. Vempala},
title = {Agnostic Learning from Tolerant Natural Proofs},
booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms
and Techniques, {APPROX/RANDOM} 2017, August 16-18, 2017, Berkeley,
CA, {USA}},
series = {LIPIcs},
volume = {81},
pages = {35:1--35:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.35},
doi = {10.4230/LIPICS.APPROX-RANDOM.2017.35},
timestamp = {Tue, 21 Sep 2021 09:36:24 +0200},
biburl = {https://dblp.org/rec/conf/approx/CarmosinoIKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/BussKKK17,
author = {Sam Buss and
Valentine Kabanets and
Antonina Kolokolova and
Michal Kouck{\'{y}}},
editor = {Christos H. Papadimitriou},
title = {Expander Construction in {VNC1}},
booktitle = {8th Innovations in Theoretical Computer Science Conference, {ITCS}
2017, January 9-11, 2017, Berkeley, CA, {USA}},
series = {LIPIcs},
volume = {67},
pages = {31:1--31:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ITCS.2017.31},
doi = {10.4230/LIPICS.ITCS.2017.31},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/innovations/BussKKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ImpagliazzoKKMR17,
author = {Russell Impagliazzo and
Valentine Kabanets and
Antonina Kolokolova and
Pierre McKenzie and
Shadab Romani},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Does Looking Inside a Circuit Help?},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {1:1--1:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.1},
doi = {10.4230/LIPICS.MFCS.2017.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/ImpagliazzoKKMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/GaoIKW17,
author = {Jiawei Gao and
Russell Impagliazzo and
Antonina Kolokolova and
R. Ryan Williams},
editor = {Philip N. Klein},
title = {Completeness for First-Order Properties on Sparse Structures with
Algorithmic Applications},
booktitle = {Proceedings of the Twenty-Eighth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2017, Barcelona, Spain, Hotel Porta Fira, January
16-19},
pages = {2162--2181},
publisher = {{SIAM}},
year = {2017},
url = {https://doi.org/10.1137/1.9781611974782.141},
doi = {10.1137/1.9781611974782.141},
timestamp = {Tue, 02 Feb 2021 17:07:33 +0100},
biburl = {https://dblp.org/rec/conf/soda/GaoIKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Kolokolova17,
author = {Antonina Kolokolova},
editor = {S. Barry Cooper and
Mariya Ivanova Soskova},
title = {Complexity Barriers as Independence},
booktitle = {The Incomputable: Journeys Beyond the Turing Barrier},
series = {Theory and Applications of Computability},
pages = {143--168},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-43669-2\_10},
doi = {10.1007/978-3-319-43669-2\_10},
timestamp = {Thu, 29 Jun 2017 10:02:07 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Kolokolova17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wads/2017,
editor = {Faith Ellen and
Antonina Kolokolova and
J{\"{o}}rg{-}R{\"{u}}diger Sack},
title = {Algorithms and Data Structures - 15th International Symposium, {WADS}
2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10389},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62127-2},
doi = {10.1007/978-3-319-62127-2},
isbn = {978-3-319-62126-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wads/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03219,
author = {Paul Beame and
Noah Fleming and
Russell Impagliazzo and
Antonina Kolokolova and
Denis Pankratov and
Toniann Pitassi and
Robert Robere},
title = {Stabbing Planes},
journal = {CoRR},
volume = {abs/1710.03219},
year = {2017},
url = {http://arxiv.org/abs/1710.03219},
eprinttype = {arXiv},
eprint = {1710.03219},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/BeameFIKPPR17,
author = {Paul Beame and
Noah Fleming and
Russell Impagliazzo and
Antonina Kolokolova and
Denis Pankratov and
Toniann Pitassi and
Robert Robere},
title = {Stabbing Planes},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR17-151}},
year = {2017},
url = {https://eccc.weizmann.ac.il/report/2017/151},
eprinttype = {ECCC},
eprint = {TR17-151},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/BeameFIKPPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ImpagliazzoKKMR17,
author = {Russell Impagliazzo and
Valentine Kabanets and
Antonina Kolokolova and
Pierre McKenzie and
Shadab Romani},
title = {Does Looking Inside a Circuit Help?},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR17-109}},
year = {2017},
url = {https://eccc.weizmann.ac.il/report/2017/109},
eprinttype = {ECCC},
eprint = {TR17-109},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ImpagliazzoKKMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/CarmosinoIKK16,
author = {Marco L. Carmosino and
Russell Impagliazzo and
Valentine Kabanets and
Antonina Kolokolova},
editor = {Ran Raz},
title = {Learning Algorithms from Natural Proofs},
booktitle = {31st Conference on Computational Complexity, {CCC} 2016, May 29 to
June 1, 2016, Tokyo, Japan},
series = {LIPIcs},
volume = {50},
pages = {10:1--10:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CCC.2016.10},
doi = {10.4230/LIPICS.CCC.2016.10},
timestamp = {Thu, 02 Feb 2023 13:27:05 +0100},
biburl = {https://dblp.org/rec/conf/coco/CarmosinoIKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/BussKKK16,
author = {Sam Buss and
Valentine Kabanets and
Antonina Kolokolova and
Michal Kouck{\'{y}}},
title = {Expander Construction in VNC\({}^{\mbox{1}}\)},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR16-144}},
year = {2016},
url = {https://eccc.weizmann.ac.il/report/2016/144},
eprinttype = {ECCC},
eprint = {TR16-144},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/BussKKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/CarmosinoIKK16,
author = {Marco L. Carmosino and
Russell Impagliazzo and
Valentine Kabanets and
Antonina Kolokolova},
title = {Algorithms from Natural Lower Bounds},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR16-008}},
year = {2016},
url = {https://eccc.weizmann.ac.il/report/2016/008},
eprinttype = {ECCC},
eprint = {TR16-008},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/CarmosinoIKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/ChenKKSZ15,
author = {Ruiwen Chen and
Valentine Kabanets and
Antonina Kolokolova and
Ronen Shaltiel and
David Zuckerman},
title = {Mining Circuit Lower Bound Proofs for Meta-Algorithms},
journal = {Comput. Complex.},
volume = {24},
number = {2},
pages = {333--392},
year = {2015},
url = {https://doi.org/10.1007/s00037-015-0100-0},
doi = {10.1007/S00037-015-0100-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cc/ChenKKSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mt/FlemingKN15,
author = {Noah Fleming and
Antonina Kolokolova and
Renesa Nizamee},
title = {Complexity of alignment and decoding problems: restrictions and approximations},
journal = {Mach. Transl.},
volume = {29},
number = {3-4},
pages = {163--187},
year = {2015},
url = {https://doi.org/10.1007/s10590-015-9172-5},
doi = {10.1007/S10590-015-9172-5},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mt/FlemingKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/approx/CarmosinoIKK15,
author = {Marco Carmosino and
Russell Impagliazzo and
Valentine Kabanets and
Antonina Kolokolova},
editor = {Naveen Garg and
Klaus Jansen and
Anup Rao and
Jos{\'{e}} D. P. Rolim},
title = {Tighter Connections between Derandomization and Circuit Lower Bounds},
booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms
and Techniques, {APPROX/RANDOM} 2015, August 24-26, 2015, Princeton,
NJ, {USA}},
series = {LIPIcs},
volume = {40},
pages = {645--658},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2015.645},
doi = {10.4230/LIPICS.APPROX-RANDOM.2015.645},
timestamp = {Tue, 21 Sep 2021 09:36:24 +0200},
biburl = {https://dblp.org/rec/conf/approx/CarmosinoIKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/ChenKKSZ14,
author = {Ruiwen Chen and
Valentine Kabanets and
Antonina Kolokolova and
Ronen Shaltiel and
David Zuckerman},
title = {Mining Circuit Lower Bound Proofs for Meta-algorithms},
booktitle = {{IEEE} 29th Conference on Computational Complexity, {CCC} 2014, Vancouver,
BC, Canada, June 11-13, 2014},
pages = {262--273},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CCC.2014.34},
doi = {10.1109/CCC.2014.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/ChenKKSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KolokolovaN14,
author = {Antonina Kolokolova and
Renesa Nizamee},
title = {Approximating solution structure of the Weighted Sentence Alignment
problem},
journal = {CoRR},
volume = {abs/1409.2433},
year = {2014},
url = {http://arxiv.org/abs/1409.2433},
eprinttype = {arXiv},
eprint = {1409.2433},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KolokolovaN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChenKKSZ13,
author = {Ruiwen Chen and
Valentine Kabanets and
Antonina Kolokolova and
Ronen Shaltiel and
David Zuckerman},
title = {Mining Circuit Lower Bound Proofs for Meta-Algorithms},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR13-057}},
year = {2013},
url = {https://eccc.weizmann.ac.il/report/2013/057},
eprinttype = {ECCC},
eprint = {TR13-057},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ChenKKSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/KabanetsK13,
author = {Valentine Kabanets and
Antonina Kolokolova},
title = {Compression of Boolean Functions},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR13-024}},
year = {2013},
url = {https://eccc.weizmann.ac.il/report/2013/024},
eprinttype = {ECCC},
eprint = {TR13-024},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/KabanetsK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kolokolova12,
author = {Antonina Kolokolova},
title = {Expressing versus Proving: Relating Forms of Complexity in Logic},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {267--280},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq008},
doi = {10.1093/LOGCOM/EXQ008},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kolokolova12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KolokolovaLMT10,
author = {Antonina Kolokolova and
Yongmei Liu and
David G. Mitchell and
Eugenia Ternovska},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {On the Complexity of Model Expansion},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {447--458},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_32},
doi = {10.1007/978-3-642-16242-8\_32},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KolokolovaLMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ImpagliazzoKK09,
author = {Russell Impagliazzo and
Valentine Kabanets and
Antonina Kolokolova},
editor = {Michael Mitzenmacher},
title = {An axiomatic approach to algebrization},
booktitle = {Proceedings of the 41st Annual {ACM} Symposium on Theory of Computing,
{STOC} 2009, Bethesda, MD, USA, May 31 - June 2, 2009},
pages = {695--704},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1536414.1536509},
doi = {10.1145/1536414.1536509},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ImpagliazzoKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ImpagliazzoKK09,
author = {Russell Impagliazzo and
Valentine Kabanets and
Antonina Kolokolova},
editor = {Manindra Agrawal and
Lance Fortnow and
Thomas Thierauf and
Christopher Umans},
title = {An Axiomatic Approach to Algebrization},
booktitle = {Algebraic Methods in Computational Complexity, 11.10. - 16.10.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09421},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2415/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ImpagliazzoKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Kolokolova08,
author = {Antonina Kolokolova},
editor = {Arnold Beckmann and
Costas Dimitracopoulos and
Benedikt L{\"{o}}we},
title = {Many Facets of Complexity in Logic},
booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in
Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5028},
pages = {316--325},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69407-6\_35},
doi = {10.1007/978-3-540-69407-6\_35},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Kolokolova08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Kolokolova05,
author = {Antonina Kolokolova},
title = {Systems of bounded arithmetic from descriptive complexity},
school = {University of Toronto, Canada},
year = {2005},
url = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991106619419706196},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Kolokolova05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kolokolova05,
author = {Antonina Kolokolova},
editor = {C.{-}H. Luke Ong},
title = {Closure Properties of Weak Systems of Bounded Arithmetic},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {369--383},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_26},
doi = {10.1007/11538363\_26},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Kolokolova05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CookK04,
author = {Stephen A. Cook and
Antonina Kolokolova},
title = {A Second-Order Theory for {NL}},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {398--407},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319634},
doi = {10.1109/LICS.2004.1319634},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CookK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CookK03,
author = {Stephen A. Cook and
Antonina Kolokolova},
title = {A second-order system for polytime reasoning based on Gr{\"{a}}del's
theorem},
journal = {Ann. Pure Appl. Log.},
volume = {124},
number = {1-3},
pages = {193--231},
year = {2003},
url = {https://doi.org/10.1016/S0168-0072(03)00056-3},
doi = {10.1016/S0168-0072(03)00056-3},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CookK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CookK01,
author = {Stephen A. Cook and
Antonina Kolokolova},
title = {A Second-Order System for Polytime Reasoning Using Graedel's Theorem},
booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
Massachusetts, USA, June 16-19, 2001, Proceedings},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932495},
doi = {10.1109/LICS.2001.932495},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CookK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR01-024,
author = {Stephen A. Cook and
Antonina Kolokolova},
title = {A second-order system for polynomial-time reasoning based on Graedel's
theorem},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR01-024}},
year = {2001},
url = {https://eccc.weizmann.ac.il/eccc-reports/2001/TR01-024/index.html},
eprinttype = {ECCC},
eprint = {TR01-024},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR01-024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-02 00:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
