Proof of a conjecture of Alan Hartman.

Qi Zhang Liu H. P. Yap

Published in: J. Graph Theory (1999)

Keyphrases

programming language
theorem proving
theorem prover
john mccarthy
proof planning
genetic algorithm
case study
multi agent
data structure
artificial neural networks
multiresolution