2

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
Revision of Boolean Models of Regulatory Networks Using Stable State Observations
Models of biological regulatory networks are essential to understand cellular processes. However, the definition of such models is …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project DOI