MathDB1 problem
- 0 votes0 replies1 view
Monotonicity conjecture for the hardness of canonical pairs of proof systems
Monotonicity conjecture. The hardness of these problems increases with the strength of the proof systems.
Monotonicity conjecture for the hardness of canonical pairs of proof systems
Monotonicity conjecture. The hardness of these problems increases with the strength of the proof systems.