Lemos, Alexandre

2 publications

JAIR 2024 Iterative Train Scheduling Under Disruption with Maximum Satisfiability Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce

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