A proof of McKee's eulerian-bipartite characterization.

Douglas R. Woodall

Published in: Discret. Math. (1990)

Keyphrases

theorem prover
theorem proving
bipartite graph
graph model
graph partitioning
real valued
proof planning
automated theorem proving
computer vision
search algorithm
evolutionary algorithm
special case
inference rules
natural deduction
axiomatic characterization