João Filipe Rosado Gouveia
AuthID: R-001-RE8
1
TITLE: Honey, I shrunk the hypothesis space (through logical preprocessing)
AUTHORS: Andrew Cropper; Filipe Gouveia; David M Cerna;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.06739
AUTHORS: Andrew Cropper; Filipe Gouveia; David M Cerna;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.06739
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
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
AUTHORS: Alexandre Lemos; Filipe Gouveia; Pedro T Monteiro; Inês Lynce ;
PUBLISHED: 2024, SOURCE: J. Artif. Intell. Res., VOLUME: 79
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP