Proof Complexity and the Kneser-Lovász Theorem.

Gabriel Istrate Adrian Craciun

Published in: SAT (2014)

Keyphrases

language model
interactive theorem proving
data sets
neural network
machine learning
computational cost
worst case
theorem prover
knowledge base
web services
database systems
relational databases
control system
space complexity
lower complexity