Simple Proofs of Results on Paths Representing All Colors in Proper Vertex-Colorings.

Published in: Graphs Comb. (2007)

Keyphrases

color images
shortest path
website
information systems
search algorithm
mobile robot
small number
theorem prover
theorem proving
path finding
formal proofs