Robert Robere
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
4
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FOCS | On Pigeonhole Principles and Ramsey in TFNP. | Siddhartha Jain, Jiawei Li, Robert Robere, Zhiyang Xun |
| 2024 | STOC | Black-Box PPP Is Not Turing-Closed. | Noah Fleming, Stefan Grosser, Toniann Pitassi, Robert Robere |
| 2022 | FOCS | Separations in Proof Complexity and TFNP. | Mika Gs, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao |
| 2021 | FOCS | Amortized Circuit Complexity, Formal Complexity Measures, and Catalytic Algorithms. | Robert Robere, Jeroen Zuiddam |
| 2021 | STOC | Automating algebraic proof systems is NP-hard. | Susanna F. de Rezende, Mika Gs, Jakob Nordstrm, Toniann Pitassi, Robert Robere, Dmitry Sokolov |
| 2020 | FOCS | KRW Composition Theorems via Lifting. | Susanna F. de Rezende, Or Meir, Jakob Nordstrm, Toniann Pitassi, Robert Robere |
| 2020 | FOCS | Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity. | Susanna F. de Rezende, Or Meir, Jakob Nordstrm, Toniann Pitassi, Robert Robere, Marc Vinyals |
| 2018 | CAV | The Proof Complexity of SMT Solvers. | Robert Robere, Antonina Kolokolova, Vijay Ganesh |
| 2018 | CP | Learning-Sensitive Backdoors with Restarts. | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | STOC | Lifting nullstellensatz to monotone span programs over any field. | Toniann Pitassi, Robert Robere |
| 2017 | FOCS | Random Θ(log n)-CNFs Are Hard for Cutting Planes. | Noah Fleming, Denis Pankratov, Toniann Pitassi, Robert Robere |
| 2017 | STOC | Strongly exponential lower bounds for monotone computation. | Toniann Pitassi, Robert Robere |
| 2016 | FOCS | Exponential Lower Bounds for Monotone Span Programs. | Robert Robere, Toniann Pitassi, Benjamin Rossman, Stephen A. Cook |
| 2013 | FOCS | Average Case Lower Bounds for Monotone Switching Networks. | Yuval Filmus, Toniann Pitassi, Robert Robere, Stephen A. Cook |