conftrace_

regular graph pattern

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

graph pattern (1) graph pattern matching (1) wildcard node (1) pattern matching (1) sat-based algorithm (1) regular expression (1) sat solver (1) graph isomorphism (1) graph matching (1)

Papers

SAT-Based Algorithms for Regular Graph Pattern Matching AAAI 2024