SAT

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