research
∙
08/26/2022
Randomised Composition and Small-Bias Minimax
We prove two results about randomised query complexity R(f). First, we i...
share
research
∙
05/04/2022
Separations in Proof Complexity and TFNP
It is well-known that Resolution proofs can be efficiently simulated by ...
research
∙
11/12/2020
