ask others

Robert Robere

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/innovations/GoosKRS19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/innovations/GoosKRS19
Mika Göös, Pritish Kamath, Robert Robere, Dmitry Sokolov:
Adventures in Monotone Complexity and TFNP. ITCS 2019: 38:1-38:19
2018
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/RobereKG18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/RobereKG18
Robert Robere, Antonina Kolokolova, Vijay Ganesh:
The Proof Complexity of SMT Solvers. CAV (2) 2018: 275-293
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/ZulkoskiMWRLCG18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/ZulkoskiMWRLCG18
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh:
Learning-Sensitive Backdoors with Restarts. CP 2018: 453-469
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/innovations/BeameFIKPPR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/innovations/BeameFIKPPR18
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere:
Stabbing Planes. ITCS 2018: 10:1-10:20
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/PitassiR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/PitassiR18
Toniann Pitassi, Robert Robere:
Lifting nullstellensatz to monotone span programs over any field. STOC 2018: 1207-1219
[i11]
- view
  - electronic edition @ weizmann.ac.il
- export record
  dblp key:
  - journals/eccc/GoosKRS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eccc/GoosKRS18
Mika Göös, Pritish Kamath, Robert Robere, Dmitry Sokolov:
Adventures in Monotone Complexity and TFNP. Electronic Colloquium on Computational Complexity (ECCC) 25: 163 (2018)
2017
[c7]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/FlemingPPR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/FlemingPPR17
Noah Fleming, Denis Pankratov, Toniann Pitassi, Robert Robere:
Random Θ(log n)-CNFs Are Hard for Cutting Planes. FOCS 2017: 109-120
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/PitassiR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/PitassiR17
Toniann Pitassi, Robert Robere:
Strongly exponential lower bounds for monotone computation. STOC 2017: 1246-1255
[i10]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FlemingPPR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/FlemingPPR17
Noah Fleming, Denis Pankratov, Toniann Pitassi, Robert Robere:
Random CNFs are Hard for Cutting Planes. CoRR abs/1703.02469 (2017)
[i9]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ZulkoskiMWRLCG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/ZulkoskiMWRLCG17
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh:
Relating Complexity-theoretic Parameters with SAT Solver Performance. CoRR abs/1706.08611 (2017)
[i8]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1710-03219
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1710-03219
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere:
Stabbing Planes. CoRR abs/1710.03219 (2017)
[i7]
- view
  - electronic edition @ weizmann.ac.il
- export record
  dblp key:
  - journals/eccc/FlemingPPR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eccc/FlemingPPR17
Noah Fleming, Denis Pankratov, Toniann Pitassi, Robert Robere:
Random CNFs are Hard for Cutting Planes. Electronic Colloquium on Computational Complexity (ECCC) 24: 45 (2017)
[i6]
- view
  - electronic edition @ weizmann.ac.il
- export record
  dblp key:
  - journals/eccc/BeameFIKPPR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eccc/BeameFIKPPR17
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere:
Stabbing Planes. Electronic Colloquium on Computational Complexity (ECCC) 24: 151 (2017)
[i5]
- view
  - electronic edition @ weizmann.ac.il
- export record
  dblp key:
  - journals/eccc/PitassiR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eccc/PitassiR17
Toniann Pitassi, Robert Robere:
Lifting Nullstellensatz to Monotone Span Programs over Any Field. Electronic Colloquium on Computational Complexity (ECCC) 24: 165 (2017)
2016
[c5]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/RoberePRC16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/RoberePRC16
Robert Robere, Toniann Pitassi, Benjamin Rossman, Stephen A. Cook:
Exponential Lower Bounds for Monotone Span Programs. FOCS 2016: 406-415
[i4]
- view
  - electronic edition @ hpi-web.de
- export record
  dblp key:
  - journals/eccc/CookPRR16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eccc/CookPRR16
Stephen A. Cook, Toniann Pitassi, Robert Robere, Benjamin Rossman:
Exponential Lower Bounds for Monotone Span Programs. Electronic Colloquium on Computational Complexity (ECCC) 23: 64 (2016)
[i3]
- view
  - electronic edition @ hpi-web.de
- export record
  dblp key:
  - journals/eccc/PitassiR16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eccc/PitassiR16
Toniann Pitassi, Robert Robere:
Strongly Exponential Lower Bounds for Monotone Computation. Electronic Colloquium on Computational Complexity (ECCC) 23: 188 (2016)
2015
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/MouatadidR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/MouatadidR15
Lalla Mouatadid, Robert Robere:
Path Graphs, Clique Trees, and Flowers. CoRR abs/1505.07702 (2015)
2013
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/agi/BesoldR13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agi/BesoldR13
Tarek Richard Besold, Robert Robere:
When Almost Is Not Even Close: Remarks on the Approximability of HDTP. AGI 2013: 11-20
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/agi/BesoldR13a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agi/BesoldR13a
Tarek Richard Besold, Robert Robere:
A Note on Tractability and Artificial Intelligence. AGI 2013: 170-173
[c2]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/FilmusPRC13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/FilmusPRC13
Yuval Filmus, Toniann Pitassi, Robert Robere, Stephen A. Cook:
Average Case Lower Bounds for Monotone Switching Networks. FOCS 2013: 598-607
[i1]
- view
  - electronic edition @ hpi-web.de
- export record
  dblp key:
  - journals/eccc/FilmusPRC13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eccc/FilmusPRC13
Yuval Filmus, Toniann Pitassi, Robert Robere, Stephen A. Cook:
Average Case Lower Bounds for Monotone Switching Networks. Electronic Colloquium on Computational Complexity (ECCC) 20: 54 (2013)
2012
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ausai/RobereB12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ausai/RobereB12
Robert Robere, Tarek Richard Besold:
Complex Analogies: Remarks on the Complexity of HDTP. Australasian Conference on Artificial Intelligence 2012: 530-542

Coauthor Index

see FAQ

maintained by

at