Pages that link to "Item:Q952492"
From MaRDI portal
The following pages link to Resolution over linear equations and multilinear proofs (Q952492):
Displaying 8 items.
- Algebraic proofs over noncommutative formulas (Q642520) (← links)
- Resolution with counting: dag-like lower bounds and different moduli (Q2029775) (← links)
- On conversions from CNF to ANF (Q2307626) (← links)
- Resolution over linear equations modulo two (Q2334112) (← links)
- Randomized feasible interpolation and monotone circuits with a local oracle (Q4562441) (← links)
- Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770) (← links)
- (Q5028363) (← links)
- (Q5140848) (← links)
