Verifying Term Graph Optimizations using Isabelle/HOL.
Brae J. WebbIan J. HayesMark UttingPublished in: CPP (2023)
Keyphrases
- theorem prover
- natural deduction
- graph model
- graph representation
- graph theory
- graph theoretic
- directed graph
- random walk
- neural network
- stable set
- theorem proving
- graph structure
- bipartite graph
- model checking
- structured data
- connected components
- directed acyclic graph
- graph mining
- relevance feedback
- graph clustering
- graph search
- image segmentation
- artificial intelligence