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 (2022)

Keyphrases

algorithmic aspects
theorem prover
theorem proving
databases
database
data sets
data mining
genetic algorithm
hidden markov models
linear logic
proof planning
geometry theorem proving