Under the auspices of the Computational Complexity Foundation (CCF)

REPORTS > KEYWORD > RANGE AVOIDANCE PROBLEM:
Reports tagged with range avoidance problem:
TR22-120 | 24th August 2022
Jan Krajicek

#### On the existence of strong proof complexity generators

\item There exist a p-time function $g$ extending each input by one bit such that its ... more >>>