A proof system for graph (non)-isomorphism verification.
Milan BankovicIvan DrecunFilip MaricPublished in: CoRR (2021)
Keyphrases
- graph theory
- graph isomorphism
- graph search
- model checker
- subgraph isomorphism
- model checking
- graph theoretic
- bipartite graph
- random walk
- graph clustering
- formal methods
- directed acyclic graph
- graph mining
- graphical representation
- graph representation
- weighted graph
- structured data
- graph model
- data sets
- link analysis
- graph structure
- modal logic
- graph structures
- directed graph
- asynchronous circuits
- bayesian networks