SAT-Based Algorithms for Regular Graph Pattern Matching