João Filipe Rosado Gouveia


AuthID: R-001-RE8

Publications Requiring Validation

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
IN MY: ORCID | CIÊNCIAVITAE
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

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service