1
TITLE: Iterative Train Scheduling under Disruption with Maximum Satisfiability  Full Text
AUTHORS: Alexandre Lemos; Filipe Gouveia; Pedro Monteiro; Ines Lynce;
PUBLISHED: 2024, SOURCE: Journal of Artificial Intelligence Research, VOLUME: 79
INDEXED IN: Scopus CrossRef
2
TITLE: Iterative Train Scheduling under Disruption with Maximum Satisfiability
AUTHORS: Alexandre Lemos; Filipe Gouveia; Pedro T Monteiro; Inês Lynce;
PUBLISHED: 2024, SOURCE: J. Artif. Intell. Res., VOLUME: 79
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: Scalable Knowledge Refactoring using Constrained Optimisation
AUTHORS: Minghao Liu; David M Cerna; Filipe Gouveia; Andrew Cropper;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2408.11530
INDEXED IN: DBLP
IN MY: DBLP