Graph Theory in Coq: Minors, Treewidth, and Isomorphisms.
Christian DoczkalDamien PousPublished in: J. Autom. Reason. (2020)
Keyphrases
- graph theory
- constraint graph
- upper bound
- search space
- bounded treewidth
- graph theoretical
- space complexity
- formal methods
- graph theoretic
- theorem prover
- computer vision and pattern recognition
- boolean functions
- complex networks
- automata theory
- social network analysis
- document similarity
- graph based representations
- discrete random variables
- graph representations
- optimization problems