José Amaral

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Recently Developed

Top Venues

Publications

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