( en | de | ru )

 

Disambiguierung von "Kolokolova, Antonina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Hierarchical Community Structure of Practical SAT Formulas.

, , , , , , , und . CoRR, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Olga Kolokolova

Antonina Schubert

Antonina Wrzeszcz

Antonina Shevchukova

Antonina Pentschewa

 

Weitere Publikationen von Autoren mit dem selben Namen

Learning with distributional inverters., , , , und . CoRR, (2021)Expander construction in VNC1., , , und . Ann. Pure Appl. Log., 171 (7): 102796 (2020)Systems of bounded arithmetic from descriptive complexity.. University of Toronto, Canada, (2005)The Proof Complexity of SMT Solvers., , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 275-293. Springer, (2018)AC0p Lower Bounds Against MCSP via the Coin Problem., , , , , und . ICALP, Volume 132 von LIPIcs, Seite 66:1-66:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Stabbing Planes., , , , , , und . ITCS, Volume 94 von LIPIcs, Seite 10:1-10:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Complexity Barriers as Independence.. The Incomputable, Springer International Publishing, (2017)On the Complexity of Model Expansion., , , und . LPAR (Yogyakarta), Volume 6397 von Lecture Notes in Computer Science, Seite 447-458. Springer, (2010)Mining Circuit Lower Bound Proofs for Meta-Algorithms., , , , und . Comput. Complex., 24 (2): 333-392 (2015)A second-order system for polynomial-time reasoning based on Graedel's theorem, und . Electron. Colloquium Comput. Complex., (2001)