A diameter-revealing proof of the Bondy-Lovász lemma.

Hyung-Chan An Robert Kleinberg

Published in: Inf. Process. Lett. (2022)

Keyphrases

theorem prover
theorem proving
johnson lindenstrauss
databases
knowledge representation
linear logic
database
data mining
information retrieval
decision making
high level
natural deduction
maximum distance
proof planning