A proof system for graph (non)-isomorphism verification.
Milan BankovicIvan DrecunFilip MaricPublished in: Log. Methods Comput. Sci. (2023)
Keyphrases
- graph theory
- graph isomorphism
- graph search
- model checking
- graph theoretic
- model checker
- random walk
- subgraph isomorphism
- directed graph
- modal logic
- graph databases
- graph model
- formal verification
- graph clustering
- graph mining
- directed acyclic graph
- graph structure
- bipartite graph
- graph matching
- structured data
- neural network
- data sets
- face verification
- graphical representation
- formal methods
- graph structures
- stable set