A new proof of Vázsonyi's conjecture.

Konrad J. Swanepoel

Published in: J. Comb. Theory, Ser. A (2008)

Keyphrases

theorem prover
databases
theorem proving
linear logic
computer vision
database
computer science
artificial neural networks
user interface
evolutionary algorithm
wireless sensor networks
first order logic