Search Results for author:
Found 1 papers, 0 papers with code
SAT-Based Algorithms for Regular Graph Pattern Matching
We propose a generalization of graph isomorphism that allows one to check such properties through a declarative specification.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
