Proof of the Alon-Yuster conjecture.

János Komlós Gábor N. Sárközy Endre Szemerédi

Published in: Discret. Math. (2001)

Keyphrases

learning theory
theorem proving
linear logic
theorem prover
data sets
search algorithm
proof planning
real time
search engine
computer vision
object recognition
digital libraries
information technology
artificial neural networks
proof theory