A proof of the dense version of Lovász conjecture.

Demetres Christofides Jan Hladký András Máthé

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

Keyphrases

database
real time
mobile robot
theorem proving
artificial intelligence
computer vision
decision making