The following pages link to Proof Complexity Meets Algebra (Q4617977):
Displaying 9 items.
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q2040600) (← links)
- (Q4625692) (← links)
- (Q4736859) (← links)
- (Q4807964) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q5091769) (← links)
- (Q6076229) (← links)
- Graphs with large girth and chromatic number are hard for Nullstellensatz (Q6573006) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)
- On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems (Q6649455) (← links)