Robert Robere

71 papers A* 12A 13Journal 40Unranked 5
YearRankTypeTitle / Venue / Authors
2024 A* conf
Black-Box PPP Is Not Turing-Closed.
STOC
Noah Fleming, Stefan Grosser, Toniann Pitassi, Robert Robere
2024 J jnl
Black-Box PPP is not Turing-Closed.
Electron. Colloquium Comput. Complex.
Noah Fleming, Stefan Grosser, Toniann Pitassi, Robert Robere
2024 J jnl
Further Collapses in \(\boldsymbol{\mathsf{TFNP}}\).
SIAM J. Comput.
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao
2024 A conf
Intersection Classes in TFNP and Proof Complexity.
ITCS
Yuhao Li, William Pires, Robert Robere
2024 J jnl
KRW Composition Theorems via Lifting.
Comput. Complex.
Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere
2024 A* conf
On Pigeonhole Principles and Ramsey in TFNP.
FOCS
Siddhartha Jain, Jiawei Li, Robert Robere, Zhiyang Xun
2024 J jnl
On Pigeonhole Principles and Ramsey in TFNP.
CoRR
Siddhartha Jain, Jiawei Li, Robert Robere, Zhiyang Xun
2024 J jnl
On Pigeonhole Principles and Ramsey in TFNP.
Electron. Colloquium Comput. Complex.
Siddhartha Jain, Jiawei Li, Robert Robere, Zhiyang Xun
2024 J jnl
Separations in Proof Complexity and TFNP.
J. ACM
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao
2023 A conf
Colourful TFNP and Propositional Proofs.
CCC
Ben Davis, Robert Robere
2023 J jnl
Colourful TFNP and Propositional Proofs.
Electron. Colloquium Comput. Complex.
Ben Davis, Robert Robere
2023 A conf
On Low-End Obfuscation and Learning.
ITCS
Elette Boyle, Yuval Ishai, Pierre Meyer, Robert Robere, Gal Yehuda
2022 A conf
Extremely Deep Proofs.
ITCS
Noah Fleming, Toniann Pitassi, Robert Robere
2022 A conf
Further Collapses in TFNP.
CCC
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao
2022 J jnl
Further Collapses in TFNP.
CoRR
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao
2022 J jnl
Further Collapses in TFNP.
Electron. Colloquium Comput. Complex.
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao
2022 J jnl
Guest Column: Proofs, Circuits, and Communication.
SIGACT News
Susanna F. de Rezende, Mika Göös, Robert Robere
2022 A conf
On Semi-Algebraic Proofs and Algorithms.
ITCS
Noah Fleming, Mika Göös, Stefan Grosser, Robert Robere
2022 J jnl
On Semi-Algebraic Proofs and Algorithms.
Electron. Colloquium Comput. Complex.
Noah Fleming, Stefan Grosser, Mika Göös, Robert Robere
2022 J jnl
Proofs, Circuits, and Communication.
CoRR
Susanna F. de Rezende, Mika Göös, Robert Robere
2022 A conf
Pseudorandom Self-Reductions for NP-Complete Problems.
ITCS
Reyad Abed Elrazik, Robert Robere, Assaf Schuster, Gal Yehuda
2022 J jnl
Random \( \Theta (\log n) \) -CNFs are Hard for Cutting Planes.
J. ACM
Noah Fleming, Denis Pankratov, Toniann Pitassi, Robert Robere
2022 A* conf
Separations in Proof Complexity and TFNP.
FOCS
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao
2022 J jnl
Separations in Proof Complexity and TFNP.
CoRR
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao
2022 J jnl
Separations in Proof Complexity and TFNP.
Electron. Colloquium Comput. Complex.
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao
2021 A* conf
Amortized Circuit Complexity, Formal Complexity Measures, and Catalytic Algorithms.
FOCS
Robert Robere, Jeroen Zuiddam
2021 J jnl
Amortized Circuit Complexity, Formal Complexity Measures, and Catalytic Algorithms.
Electron. Colloquium Comput. Complex.
Robert Robere, Jeroen Zuiddam
2021 A* conf
Automating algebraic proof systems is NP-hard.
STOC
Susanna F. de Rezende, Mika Göös, Jakob Nordström, Toniann Pitassi, Robert Robere, Dmitry Sokolov
2021 J jnl
Extremely Deep Proofs.
Electron. Colloquium Comput. Complex.
Noah Fleming, Toniann Pitassi, Robert Robere
2021 J jnl
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling.
Comput. Complex.
Susanna F. de Rezende, Or Meir, Jakob Nordström, Robert Robere
2021 A conf
On the Power and Limitations of Branch and Cut.
CCC
Noah Fleming, Mika Göös, Russell Impagliazzo, Toniann Pitassi, Robert Robere, Li-Yang Tan, Avi Wigderson
2021 J jnl
On the Power and Limitations of Branch and Cut.
CoRR
Noah Fleming, Mika Göös, Russell Impagliazzo, Toniann Pitassi, Robert Robere, Li-Yang Tan, Avi Wigderson
2021 J jnl
On the Power and Limitations of Branch and Cut.
Electron. Colloquium Comput. Complex.
Noah Fleming, Mika Göös, Russell Impagliazzo, Toniann Pitassi, Robert Robere, Li-Yang Tan, Avi Wigderson
2021 J jnl
Pseudorandom Self-Reductions for NP-Complete Problems.
Electron. Colloquium Comput. Complex.
Reyad Abed Elrazik, Robert Robere, Assaf Schuster, Gal Yehuda
2020 J jnl
Automating Algebraic Proof Systems is NP-Hard.
Electron. Colloquium Comput. Complex.
Mika Göös, Jakob Nordström, Toniann Pitassi, Robert Robere, Dmitry Sokolov, Susanna F. de Rezende
2020 A* conf
KRW Composition Theorems via Lifting.
FOCS
Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere
2020 J jnl
KRW Composition Theorems via Lifting.
CoRR
Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere
2020 J jnl
KRW Composition Theorems via Lifting.
Electron. Colloquium Comput. Complex.
Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere
2020 A* conf
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity.
FOCS
Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere, Marc Vinyals
2020 J jnl
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity.
CoRR
Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere, Marc Vinyals
2020 A conf
Lower Bounds for (Non-Monotone) Comparator Circuits.
ITCS
Anna Gál, Robert Robere
2020 J jnl
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling.
CoRR
Susanna F. de Rezende, Or Meir, Jakob Nordström, Robert Robere
2020 J jnl
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling.
Electron. Colloquium Comput. Complex.
Or Meir, Jakob Nordström, Robert Robere, Susanna F. de Rezende
2019 A conf
Adventures in Monotone Complexity and TFNP.
ITCS
Mika Göös, Pritish Kamath, Robert Robere, Dmitry Sokolov
2019 J jnl
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity.
Electron. Colloquium Comput. Complex.
Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere, Susanna F. de Rezende
2019 J jnl
Lower Bounds for (Non-monotone) Comparator Circuits.
Electron. Colloquium Comput. Complex.
Anna Gál, Robert Robere
2019 A conf
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling.
CCC
Susanna F. de Rezende, Jakob Nordström, Or Meir, Robert Robere
2018 J jnl
Adventures in Monotone Complexity and TFNP.
Electron. Colloquium Comput. Complex.
Mika Göös, Pritish Kamath, Robert Robere, Dmitry Sokolov
2018 A conf
Learning-Sensitive Backdoors with Restarts.
CP
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
2018 A* conf
Lifting nullstellensatz to monotone span programs over any field.
STOC
Toniann Pitassi, Robert Robere
2018 A conf
Stabbing Planes.
ITCS
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere
2018 — conf
The Proof Complexity of SMT Solvers.
CAV (2)
Robert Robere, Antonina Kolokolova, Vijay Ganesh
2018 — —
Unified Lower Bounds for Monotone Computation.
Robert Robere
2017 J jnl
Lifting Nullstellensatz to Monotone Span Programs over Any Field.
Electron. Colloquium Comput. Complex.
Toniann Pitassi, Robert Robere
2017 J jnl
Random CNFs are Hard for Cutting Planes.
CoRR
Noah Fleming, Denis Pankratov, Toniann Pitassi, Robert Robere
2017 J jnl
Random CNFs are Hard for Cutting Planes.
Electron. Colloquium Comput. Complex.
Noah Fleming, Denis Pankratov, Toniann Pitassi, Robert Robere
2017 A* conf
Random Θ(log n)-CNFs Are Hard for Cutting Planes.
FOCS
Noah Fleming, Denis Pankratov, Toniann Pitassi, Robert Robere
2017 J jnl
Relating Complexity-theoretic Parameters with SAT Solver Performance.
CoRR
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh
2017 J jnl
Stabbing Planes.
CoRR
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere
2017 J jnl
Stabbing Planes.
Electron. Colloquium Comput. Complex.
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere
2017 A* conf
Strongly exponential lower bounds for monotone computation.
STOC
Toniann Pitassi, Robert Robere
2016 A* conf
Exponential Lower Bounds for Monotone Span Programs.
FOCS
Robert Robere, Toniann Pitassi, Benjamin Rossman, Stephen A. Cook
2016 J jnl
Exponential Lower Bounds for Monotone Span Programs.
Electron. Colloquium Comput. Complex.
Stephen A. Cook, Toniann Pitassi, Robert Robere, Benjamin Rossman
2016 J jnl
Strongly Exponential Lower Bounds for Monotone Computation.
Electron. Colloquium Comput. Complex.
Toniann Pitassi, Robert Robere
2015 J jnl
Path Graphs, Clique Trees, and Flowers.
CoRR
Lalla Mouatadid, Robert Robere
2013 — conf
A Note on Tractability and Artificial Intelligence.
AGI
Tarek Richard Besold, Robert Robere
2013 A* conf
Average Case Lower Bounds for Monotone Switching Networks.
FOCS
Yuval Filmus, Toniann Pitassi, Robert Robere, Stephen A. Cook
2013 J jnl
Average Case Lower Bounds for Monotone Switching Networks.
Electron. Colloquium Comput. Complex.
Yuval Filmus, Toniann Pitassi, Robert Robere, Stephen A. Cook
2013 — conf
When Almost Is Not Even Close: Remarks on the Approximability of HDTP.
AGI
Tarek Richard Besold, Robert Robere
2013 — conf
When Thinking Never Comes to a Halt: Using Formal Methods in Making Sure Your AI Gets the Job Done Good Enough.
PT-AI
Tarek R. Besold, Robert Robere
2012 — conf
Complex Analogies: Remarks on the Complexity of HDTP.
Australasian Conference on Artificial Intelligence
Robert Robere, Tarek Richard Besold