MaxSAT

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