A Boolean Proof of Richardson's Theorem on Graph Theory
Yoshiko TakenakaPublished in: Inf. Control. (1978)
Keyphrases
- graph theory
- interactive theorem proving
- computer vision and pattern recognition
- graph theoretical
- graph theoretic
- real valued
- automata theory
- complex networks
- social network analysis
- graph based representations
- boolean functions
- theorem prover
- document similarity
- maximal cliques
- optimal solution
- maximum independent set
- linear logic
- clustering coefficient
- network analysis
- combinatorial optimization
- pairwise
- search space
- minimum spanning tree
- graph properties
- social networks
- point correspondences