Pages that link to "Item:Q5140848"
From MaRDI portal
The following pages link to Monotone circuit lower bounds from resolution (Q5140848):
Displaying 7 items.
- Lower bounds for monotone counting circuits (Q313809) (← links)
- No feasible monotone interpolation for simple combinatorial reasoning (Q1575265) (← links)
- Monotone circuits for matching require linear depth (Q4302809) (← links)
- Communication Lower Bounds via Critical Block Sensitivity (Q4554052) (← links)
- Monotone circuit lower bounds from robust sunflowers (Q5970784) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)
- Cutting planes width and the complexity of graph isomorphism refutations (Q6636618) (← links)