Folgen
Robert Robere
Robert Robere
Bestätigte E-Mail-Adresse bei cs.mcgill.ca - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Exponential lower bounds for monotone span programs
R Robere, T Pitassi, B Rossman, SA Cook
2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS …, 2016
602016
Lifting Nullstellensatz to monotone span programs over any field
T Pitassi, R Robere
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing …, 2018
502018
Strongly exponential lower bounds for monotone computation
T Pitassi, R Robere
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing …, 2017
442017
Interior point methods and linear programming
R Robere
University of Toronto, 1-15, 2012
422012
Adventures in monotone complexity and TFNP
M Göös, P Kamath, R Robere, D Sokolov
10th Innovations in Theoretical Computer Science Conference (ITCS 2019), 2018
352018
Random θ (log n)-CNFs are hard for cutting planes
N Fleming, D Pankratov, T Pitassi, R Robere
2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS …, 2017
262017
Stabbing planes
P Beame, N Fleming, R Impagliazzo, A Kolokolova, D Pankratov, T Pitassi, ...
arXiv preprint arXiv:1710.03219, 2017
252017
Average case lower bounds for monotone switching networks
Y Filmus, T Pitassi, R Robere, SA Cook
2013 IEEE 54th Annual Symposium on Foundations of Computer Science, 598-607, 2013
162013
A dynamic algorithm for loop detection in software defined networks
D Kordalewski, R Robere
University of Toronto, Tech. Rep, 2012
152012
On the Power and Limitations of Branch and Cut
N Fleming, M Göös, R Impagliazzo, T Pitassi, R Robere, LY Tan, ...
arXiv preprint arXiv:2102.05019, 2021
122021
Unified lower bounds for monotone computation
R Robere
University of Toronto (Canada), 2018
122018
KRW Composition Theorems via Lifting
SF de Rezende, O Meir, J Nordström, T Pitassi, R Robere
2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), 43-49, 2020
102020
The proof complexity of SMT solvers
R Robere, A Kolokolova, V Ganesh
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
102018
Random CNFs are hard for cutting planes
N Fleming, D Pankratov, T Pitassi, R Robere
arXiv preprint arXiv:1703.02469, 2017
102017
Exponential Lower Bounds for Monotone Span Programs.
SA Cook, T Pitassi, R Robere, B Rossman
Electron. Colloquium Comput. Complex. 23, 64, 2016
82016
Further Collapses in TFNP
M Göös, A Hollender, S Jain, G Maystre, W Pires, R Robere, R Tao
arXiv preprint arXiv:2202.07761, 2022
72022
Lifting with simple gadgets and applications to circuit and proof complexity
S de Rezende, O Meir, J Nordström, T Pitassi, R Robere, M Vinyals
2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), 24-30, 2020
72020
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
SF de Rezende, O Meir, J Nordström, R Robere
arXiv preprint arXiv:2001.02481, 2020
72020
Learning-sensitive backdoors with restarts
E Zulkoski, R Martins, CM Wintersteiger, R Robere, JH Liang, K Czarnecki, ...
Principles and Practice of Constraint Programming: 24th International …, 2018
72018
Complex analogies: Remarks on the complexity of HDTP
R Robere, TR Besold
AI 2012: Advances in Artificial Intelligence: 25th Australasian Joint …, 2012
72012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20