Login / Signup
Proof Complexity and the Kneser-Lovász Theorem (I).
Gabriel Istrate
Adrian Craciun
Published in:
CoRR (2014)
Keyphrases
</>
language model
interactive theorem proving
computational complexity
multiscale
search engine
probabilistic model
theorem prover
complexity measures
database
databases
case study
multiresolution
lower complexity