A Breezing Proof of the KMW Bound.

Corinna Coupette Christoph Lenzen

Published in: CoRR (2020)

Keyphrases

upper bound
lower bound
theorem proving
worst case
theorem prover
expert systems
logical rules
linear logic
distribution free
multi class
data sets
support vector
decision trees
knowledge base
social networks
artificial intelligence
genetic algorithm
machine learning