TY  - RPRT
TI  - SAT-Based Algorithms for Regular Graph Pattern Matching
AU  - Miguel Terra-Neves
AU  - José Amaral
AU  - Alexandre Lemos
AU  - Rui Quintino
AU  - Pedro Resende
AU  - Antonio Alegria
PY  - 2023
UR  - https://arxiv.org/abs/2312.09995
ID  - 2312.09995
ER  -