Proof of the Clustered Hadwiger Conjecture.

Vida Dujmovic Louis Esperet Pat Morin David R. Wood

Published in: CoRR (2023)

Keyphrases

theorem prover
proof planning
data mining
search algorithm
theorem proving
database
real time
decision making
case study
natural deduction
proof theory