The following pages link to (Q4234077):
Displaying 12 items.
- Good degree bounds on Nullstellensatz refutations of the induction principle (Q1276164) (← links)
- Some graphic uses of an even number of odd nodes (Q1296145) (← links)
- The complexity of finding a second Hamiltonian cycle in cubic graphs (Q1307702) (← links)
- A tight relationship between generic oracles and type-2 complexity theory (Q1369098) (← links)
- Proof complexity in algebraic systems and bounded depth Frege systems with modular counting (Q1377580) (← links)
- Inverting onto functions. (Q1426007) (← links)
- Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II (Q1575637) (← links)
- Cutting planes, connectivity, and threshold logic (Q1908818) (← links)
- An exponential separation between the parity principle and the pigeonhole principle (Q1923563) (← links)
- TFNP: An Update (Q5283350) (← links)
- Can PPAD hardness be based on standard cryptographic assumptions? (Q5925502) (← links)
- Propositional proof complexity (Q6064569) (← links)