conftrace_

wildcard node

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

graph pattern matching (1) graph pattern (1) regular graph pattern (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