Proof of a conjecture on monomial graphs.

Xiang-dong Hou Stephen D. Lappano Felix Lazebnik

Published in: Finite Fields Their Appl. (2017)

Keyphrases

theorem prover
graph theory
graph matching
directed graph
graph model
graph theoretic
mathematical proofs
neural network
proof theory
linear logic
series parallel
subgraph isomorphism
graph representation
graph databases
theorem proving
genetic algorithm
information retrieval