ML Anthology

Resende, Pedro

1 publications

AAAI 2024 SAT-Based Algorithms for Regular Graph Pattern Matching Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria