Pages that link to "Item:Q1377580"
From MaRDI portal
The following pages link to Proof complexity in algebraic systems and bounded depth Frege systems with modular counting (Q1377580):
Displayed 13 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- Propositional proofs and reductions between NP search problems (Q435190) (← links)
- Algebraic proofs over noncommutative formulas (Q642520) (← links)
- Algebraic proof systems over formulas. (Q1401356) (← links)
- Dual weak pigeonhole principle, Boolean complexity, and derandomization (Q1887654) (← links)
- Polynomial-size Frege and resolution proofs of \(st\)-connectivity and Hex tautologies (Q2500481) (← links)
- Phase transition of multivariate polynomial systems (Q3616213) (← links)
- Discretely ordered modules as a first-order extension of the cutting planes proof system (Q4254700) (← links)
- Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds (Q5311724) (← links)
- Uniformly generated submodules of permutation modules over fields of characteristic 0. (Q5939910) (← links)
- Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity (Q5941296) (← links)
- Linear gaps between degrees for the polynomial calculus modulo distinct primes (Q5943090) (← links)
- Complexity of Null- and Positivstellensatz proofs (Q5957910) (← links)