A proof of the Erdös-Faber-Lovász conjecture: Algorithmic aspects.

Dong Yeap Kang Tom Kelly Daniela Kühn Abhishek Methuku Deryk Osthus

Published in: FOCS (2021)

Keyphrases

algorithmic aspects
theorem prover
information retrieval
learning algorithm
artificial intelligence
computer vision
theorem proving
linear logic
neural network
case study
video sequences
provably correct
proof theory
complete axiomatization
geometry theorem proving