MaxSAT

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
Scalable Knowledge Refactoring Using Constrained Optimisation
Knowledge refactoring compresses logic programs by replacing them with new rules. Current approaches struggle to scale to large …
Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper
PDF Cite Project 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