Verifying term graph optimizations using Isabelle/HOL.
Brae J. WebbIan J. HayesMark UttingPublished in: CoRR (2022)
Keyphrases
- theorem prover
- natural deduction
- graph model
- graph representation
- random walk
- theorem proving
- directed graph
- weighted graph
- higher order logic
- stable set
- graph structure
- graph theory
- first order logic
- inference rules
- connected components
- spanning tree
- bipartite graph
- information retrieval
- dependency graph
- random graphs
- graph theoretic
- model checking
- query terms
- graph matching
- graph data
- complex networks
- directed acyclic graph
- neural network