Proof of a conjecture on irredundance perfect graphs.

Lutz Volkmann Vadim E. Zverovich

Published in: J. Graph Theory (2002)

Keyphrases

graph matching
graph theory
theorem prover
neural network
artificial intelligence
linear logic
knowledge base
graph mining
graph theoretical
graph construction
mathematical proofs
database
series parallel
subgraph isomorphism
small world
graph theoretic
spanning tree
information systems
machine learning
databases