Equivalence Hypergraphs: E-Graphs for Monoidal Theories.
Dan R. GhicaChris BarrettAleksei TiurinPublished in: CoRR (2024)
Keyphrases
- graph theory
- equational theories
- adjacency matrix
- graph theoretic
- graph matching
- information systems
- theoretical framework
- bipartite graph
- graph partitioning
- graph representation
- computational models
- complex networks
- graph mining
- undirected graph
- complex structures
- graph clustering
- clustering algorithm
- series parallel
- data sets