Formalizing Graph Trail Properties in Isabelle/HOL.
Laura KovácsHanna LachnittStefan SzeiderPublished in: CICM (2020)
Keyphrases
- theorem prover
- natural deduction
- graph properties
- graph matching
- graph theoretic
- graph theory
- graph structure
- graph mining
- graph databases
- clustering coefficient
- structured data
- neural network
- directed graph
- structural properties
- desirable properties
- connected components
- graph representation
- global consistency
- stable set