Proof of Komlós's conjecture on Hamiltonian subsets.

Jaehoon Kim Hong Liu Maryam Sharifzadeh Katherine Staden

Published in: Electron. Notes Discret. Math. (2017)

Keyphrases

real time
theorem prover
image processing
special case
theorem proving
data sets
social networks
search space
automated theorem proving
mathematical proofs
interactive theorem proving