Pages that link to "Item:Q4562441"
From MaRDI portal
The following pages link to Randomized feasible interpolation and monotone circuits with a local oracle (Q4562441):
Displaying 5 items.
- Resolution over linear equations and multilinear proofs (Q952492) (← links)
- No feasible monotone interpolation for simple combinatorial reasoning (Q1575265) (← links)
- Random resolution refutations (Q2311546) (← links)
- Resolution over linear equations modulo two (Q2334112) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)