The following pages link to Robert Robere (Q2040599):
Displayed 13 items.
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q2040600) (← links)
- Strongly exponential lower bounds for monotone computation (Q4978063) (← links)
- (Q4993273) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q5091769) (← links)
- Lifting Nullstellensatz to monotone span programs over any field (Q5230374) (← links)
- Lower Bounds for (Non-Monotone) Comparator Circuits (Q5875761) (← links)
- Random \( \Theta (\log n) \) -CNFs are Hard for Cutting Planes (Q5889793) (← links)
- The proof complexity of SMT solvers (Q6039408) (← links)
- On the power and limitations of branch and cut (Q6115357) (← links)
- (Q6126301) (← links)
- (Q6126307) (← links)
- (Q6126308) (← links)
- Path Graphs, Clique Trees, and Flowers (Q6262182) (← links)