A Breezing Proof of the KMW Bound.

Corinna Coupette Christoph Lenzen

Published in: SOSA (2021)

Keyphrases

lower bound
upper bound
worst case
theorem proving
information systems
theorem prover
proof planning
data structure
linear logic
theoretical analysis
constrained minimization
logical rules
proof theory
error bounds
description logics
multi class
three dimensional
image processing