Pages that link to "Item:Q1126839"
From MaRDI portal
The following pages link to Unsolvable systems of equations and proof complexity (Q1126839):
Displaying 4 items.
- Algebraic proof systems over formulas. (Q1401356) (← links)
- On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations (Q3637246) (← links)
- Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770) (← links)
- Semialgebraic proofs, IPS lower bounds, and the \(\tau\)-conjecture: can a natural number be negative? (Q6562829) (← links)