Robert Robere

From MaRDI portal
Person:2040599

Available identifiers

zbMath Open robere.robertMaRDI QIDQ2040599

List of research outcomes





PublicationDate of PublicationType
Colourful TFNP and propositional proofs2024-11-19Paper
On low-end obfuscation and learning2024-09-25Paper
Further collapses in TFNP2024-07-05Paper
Further collapses in \(\mathsf{TFNP}\)2024-05-24Paper
KRW composition theorems via lifting2024-05-22Paper
https://portal.mardi4nfdi.de/entity/Q61263012024-04-09Paper
https://portal.mardi4nfdi.de/entity/Q61263072024-04-09Paper
https://portal.mardi4nfdi.de/entity/Q61263082024-04-09Paper
On the power and limitations of branch and cut2023-07-12Paper
The proof complexity of SMT solvers2023-05-05Paper
Random \( \Theta (\log n) \) -CNFs are Hard for Cutting Planes2023-04-27Paper
Lower Bounds for (Non-Monotone) Comparator Circuits2023-02-03Paper
Nullstellensatz size-degree trade-offs from reversible pebbling2022-07-27Paper
Nullstellensatz size-degree trade-offs from reversible pebbling2021-07-14Paper
Stabbing planes2021-06-15Paper
Lifting Nullstellensatz to monotone span programs over any field2019-08-22Paper
Strongly exponential lower bounds for monotone computation2017-08-17Paper
Path Graphs, Clique Trees, and Flowers2015-05-28Paper

Research outcomes over time

This page was built for person: Robert Robere

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2040599&oldid=6638949"
Powered by MediaWiki