SAT

A MaxSAT Approach for the Train Timetabling Problem with Route Choice and Other Features
We address a variant of the train timetabling problem where choices involve not only defining the schedules of trains but also their …
Filipe Gouveia, Luís Albino, Ricardo L. Saldanha
Cite DOI
Iterative Train Scheduling under Disruption with Maximum Satisfiability
This paper proposes an iterative Maximum Satisfiability (MaxSAT) approach designed to solve train scheduling optimization problems. The …
Alexandre Lemos, Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Cite DOI
Logic-Based Encodings for Ricochet Robots
Studying the performance of logic tools on solving a specific problem can bring new insights on the use of different paradigms. This …
Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce
PDF Cite Poster Slides DOI