Pages that link to "Item:Q4892411"
From MaRDI portal
The following pages link to Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs (Q4892411):
Displayed 22 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- Propositional proofs and reductions between NP search problems (Q435190) (← links)
- Proof complexity in algebraic systems and bounded depth Frege systems with modular counting (Q1377580) (← links)
- \(\text{Count}(q)\) does not imply \(\text{Count}(p)\) (Q1377601) (← links)
- Algebraic proof systems over formulas. (Q1401356) (← links)
- On the complexity of Hilbert refutations for partition (Q2252121) (← links)
- Several notes on the power of Gomory-Chvátal cuts (Q2498920) (← links)
- Polynomial-size Frege and resolution proofs of \(st\)-connectivity and Hex tautologies (Q2500481) (← links)
- Separation results for the size of constant-depth propositional proofs (Q2566064) (← links)
- An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs (Q2643148) (← links)
- A reduction of proof complexity to computational complexity for 𝐴𝐶⁰[𝑝] Frege systems (Q2944868) (← links)
- Collapsing modular counting in bounded arithmetic and constant depth propositional proofs (Q2944908) (← links)
- Limitations of Algebraic Approaches to Graph Isomorphism Testing (Q3448781) (← links)
- Phase transition of multivariate polynomial systems (Q3616213) (← links)
- On the correspondence between arithmetic theories and propositional proof systems – a survey (Q3619867) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
- Parameterized Complexity of DPLL Search Procedures (Q5892559) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← 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)