NikhilGupta1997/SAT-Graph-Mapping
Check to see if a mapping exists between 2 graphs (subgraph-isomorphism) by developing optimised SAT clauses and solving them using MINISAT.
C++
Issues
- 0
Collaborators
#1 opened by shardultripathi
Check to see if a mapping exists between 2 graphs (subgraph-isomorphism) by developing optimised SAT clauses and solving them using MINISAT.
C++