A simple proof of Hwang's theorem for rectilinear Steiner minimal trees.

Dana S. Richards Jeffrey S. Salowe

Published in: Ann. Oper. Res. (1991)

Keyphrases

decision trees
interactive theorem proving
real time
databases
artificial intelligence
multi agent
highly reliable
real world
genetic algorithm
case study
relational databases
theorem prover
tree structures
von neumann
steiner tree