Pages that link to "Item:Q1401356"
From MaRDI portal
The following pages link to Algebraic proof systems over formulas. (Q1401356):
Displayed 7 items.
- Algebraic proofs over noncommutative formulas (Q642520) (← links)
- Several notes on the power of Gomory-Chvátal cuts (Q2498920) (← links)
- Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770) (← links)
- Proof Complexity Meets Algebra (Q4617977) (← links)
- (Q5028363) (← links)
- The power of the binary value principle (Q6057309) (← links)
- On vanishing sums of roots of unity in polynomial calculus and sum-of-squares (Q6184293) (← links)