A short constructive proof of the Erdos-Gallai characterization of graphic lists.

Amitabha Tripathi Sushmita Venugopalan Douglas B. West

Published in: Discret. Math. (2010)

Keyphrases

neural network
mobile robot
theorem prover
theorem proving
data sets
data mining
computer vision
image processing
multiscale
search algorithm
artificial neural networks
multiresolution
linear logic
proof search