| 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 | 60 | 2016 |
| 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 | 50 | 2018 |
| Strongly exponential lower bounds for monotone computation T Pitassi, R Robere Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing …, 2017 | 44 | 2017 |
| Interior point methods and linear programming R Robere University of Toronto, 1-15, 2012 | 42 | 2012 |
| 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 | 35 | 2018 |
| 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 | 26 | 2017 |
| Stabbing planes P Beame, N Fleming, R Impagliazzo, A Kolokolova, D Pankratov, T Pitassi, ... arXiv preprint arXiv:1710.03219, 2017 | 25 | 2017 |
| 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 | 16 | 2013 |
| A dynamic algorithm for loop detection in software defined networks D Kordalewski, R Robere University of Toronto, Tech. Rep, 2012 | 15 | 2012 |
| 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 | 12 | 2021 |
| Unified lower bounds for monotone computation R Robere University of Toronto (Canada), 2018 | 12 | 2018 |
| 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 | 10 | 2020 |
| The proof complexity of SMT solvers R Robere, A Kolokolova, V Ganesh Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 10 | 2018 |
| Random CNFs are hard for cutting planes N Fleming, D Pankratov, T Pitassi, R Robere arXiv preprint arXiv:1703.02469, 2017 | 10 | 2017 |
| Exponential Lower Bounds for Monotone Span Programs. SA Cook, T Pitassi, R Robere, B Rossman Electron. Colloquium Comput. Complex. 23, 64, 2016 | 8 | 2016 |
| 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 | 7 | 2022 |
| 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 | 7 | 2020 |
| Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling SF de Rezende, O Meir, J Nordström, R Robere arXiv preprint arXiv:2001.02481, 2020 | 7 | 2020 |
| 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 | 7 | 2018 |
| Complex analogies: Remarks on the complexity of HDTP R Robere, TR Besold AI 2012: Advances in Artificial Intelligence: 25th Australasian Joint …, 2012 | 7 | 2012 |
