Pages that link to "Item:Q2922623"
From MaRDI portal
The following pages link to Lower Bounds for Splittings by Linear Combinations (Q2922623):
Displaying 8 items.
- Resolution over linear equations and multilinear proofs (Q952492) (← links)
- Hard satisfiable formulas for splittings by linear combinations (Q1680241) (← links)
- On conversions from CNF to ANF (Q2307626) (← links)
- Resolution over linear equations modulo two (Q2334112) (← links)
- Tight Upper Bound on Splitting by Linear Combinations for Pigeonhole Principle (Q2818003) (← links)
- Randomized feasible interpolation and monotone circuits with a local oracle (Q4562441) (← links)
- New Computational Paradigms (Q5717051) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)