Exhaustive Verification of Weak Reconstruction For Self Complementary Graphs
S. K. GuptaSahil SinglaAkash KhandelwalApurv Tiwari SrilekhaPublished in: CoRR (2010)
Keyphrases
- model checking
- graph theory
- graph representation
- asynchronous circuits
- graph theoretic
- signature verification
- discrete tomography
- reconstruction method
- graph databases
- graph matching
- directed graph
- series parallel
- graph construction
- tomographic reconstruction
- reconstruction process
- graph partitioning
- shape recovery
- face verification
- three dimensional
- graph mining
- weighted graph
- temporal logic
- image reconstruction
- multi view
- high resolution