ML Anthology

SAT-Based Algorithms for Regular Graph Pattern Matching

Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria
AAAI 2024 pp. 8136-8145
doi:10.1609/AAAI.V38I8.28653 /aaai/2024/terraneves2024aaai-sat/
AAAI Semantic Scholar

Cite

Text

Terra-Neves et al. "SAT-Based Algorithms for Regular Graph Pattern Matching." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I8.28653

Markdown

[Terra-Neves et al. "SAT-Based Algorithms for Regular Graph Pattern Matching." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/terraneves2024aaai-sat/) doi:10.1609/AAAI.V38I8.28653

BibTeX

@inproceedings{terraneves2024aaai-sat,
  title     = {{SAT-Based Algorithms for Regular Graph Pattern Matching}},
  author    = {Terra-Neves, Miguel and Amaral, José and Lemos, Alexandre and Quintino, Rui and Resende, Pedro and Alegria, António},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {8136-8145},
  doi       = {10.1609/AAAI.V38I8.28653},
  url       = {https://mlanthology.org/aaai/2024/terraneves2024aaai-sat/}
}