A short proof of Chvátal's Watchman Theorem.

Published in: J. Comb. Theory, Ser. B (1978)

Keyphrases

strictly convex
interactive theorem proving
theorem proving
evolutionary algorithm
neural network
real time
database systems
evaluation function