Proof of the Clustered Hadwiger Conjecture.

Vida Dujmovic Louis Esperet Pat Morin David R. Wood

Published in: FOCS (2023)

Keyphrases

theorem proving
inference rules
theorem prover
real time
mathematical proofs
bayesian networks
information retrieval
information systems
image processing
case study
image segmentation
computer vision
search algorithm
relational databases
machine learning
data mining
database