Login / Signup
On the Proof Complexity of the Nisan-Wigderson Generator based on a Hard NP ∩ coNP function.
Jan Krajícek
Published in:
J. Math. Log. (2011)
Keyphrases
</>
computational complexity
decision problems
theorem proving
databases
artificial intelligence
social networks
computational cost
np complete
constraint satisfaction problems
space complexity
piecewise linear
approximation error
conp complete