The following pages link to (Q4284631):
Displaying 6 items.
- Proof complexity in algebraic systems and bounded depth Frege systems with modular counting (Q1377580) (← links)
- Monotone circuit lower bounds from resolution (Q5140848) (← links)
- Natural proofs (Q5906823) (← links)
- Local rainbow colorings for various graphs (Q6574396) (← links)
- On locally rainbow colourings (Q6615751) (← links)
- Localizability of the approximation method (Q6624428) (← links)