Carlo Mannino

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 22

Top Topics

Benders Decomposition

Probabilistic Formulation

Scheduling Problem

Traffic Management

Top Venues

Comput. Oper. Res.

Publications

Anna Livia Croella, Bjørnar Luteberget, Carlo Mannino, Paolo Ventura
A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems. Comput. Oper. Res. 167 (2024)
Oddvar Kloster, Bjørnar Luteberget, Carlo Mannino, Giorgio Sartor
An Optimization-Based Decision Support Tool for Incremental Train Timetabling. Oper. Res. Forum 4 (3) (2023)
Veronica Dal Sasso, Leonardo Lamorgese, Carlo Mannino, Antonio Tancredi, Paolo Ventura
Easy Cases of Deadlock Detection in Train Scheduling. Oper. Res. 70 (4) (2022)
Pasquale Avella, Maurizio Boccia, Carlo Mannino, Sandro Viglione
Practice Summary: Solving the External Candidates Exam Schedule in Norway. INFORMS J. Appl. Anal. 52 (2) (2022)
Oddvar Kloster, Carlo Mannino, Atle Riise, Patrick Schittekat
Scheduling Vehicles with Spatial Conflicts. Transp. Sci. 56 (5) (2022)
Anna Livia Croella, Veronica Dal Sasso, Leonardo Lamorgese, Carlo Mannino, Paolo Ventura
Disruption Management in Railway Systems by Safe Place Assignment. Transp. Sci. 56 (4) (2022)
Carlo Mannino, Andreas Nakkerud, Giorgio Sartor
Air traffic flow management with layered workload constraints. Comput. Oper. Res. 127 (2021)
Veronica Dal Sasso, Leonardo Lamorgese, Carlo Mannino, Andrea Onofri, Paolo Ventura
The Tick Formulation for deadlock detection and avoidance in railways traffic control. J. Rail Transp. Plan. Manag. 17 (2021)
Maria Fleischer Fauske, Carlo Mannino, Paolo Ventura
Generalized Periodic Vehicle Routing and Maritime Surveillance. Transp. Sci. 54 (1) (2020)
Giorgio Sartor, Carlo Mannino, Lukas Bach
Combinatorial Learning in Traffic Management. LOD (2019)
Lukas Bach, Carlo Mannino, Giorgio Sartor
MILP approaches to practical real-time train scheduling: the Iron Ore Line case. INOC (2019)
Leonardo Lamorgese, Carlo Mannino
A Noncompact Formulation for Job-Shop Scheduling Problems in Traffic Management. Oper. Res. 67 (6) (2019)
Carlo Mannino, Giorgio Sartor
The Path&Cycle Formulation for the Hotspot Problem in Air Traffic Management. ATMOS (2018)
Francesca Fedeli, Roberto Mancini, Carlo Mannino, Paolo Ofria, Gianpaolo Oriolo, Andrea Pacifici, Veronica Piccialli
Optimal design of a regional railway service in Italy. J. Rail Transp. Plan. Manag. 7 (4) (2017)
Fabio D'Andreagiovanni, Carlo Mannino, Antonio Sassano
Negative Cycle Separation in Wireless Network Design. CoRR (2017)
Fabio D'Andreagiovanni, Carlo Mannino, Antonio Sassano
GUB Covers and Power-Indexed formulations for Wireless Network Design. CoRR (2017)
Pasquale Avella, Maurizio Boccia, Carlo Mannino, Igor Vasilyev
Time-Indexed Formulations for the Runway Scheduling Problem. Transp. Sci. 51 (4) (2017)
Atle Riise, Carlo Mannino, Edmund K. Burke
Modelling and solving generalised operational surgery scheduling problems. Comput. Oper. Res. 66 (2016)
Igor Vasilyev, Pasquale Avella, Maurizio Boccia, Carlo Mannino
Valid Inequalities for Time-Indexed Formulations of the Runway Scheduling Problem. DOOR (Supplement) (2016)
Leonardo Lamorgese, Tomas Eric Nordlander, Carlo Mannino
A New Modelling Approach Is Required to Help Mobile Network Operators Handle the Growing Demand for Data Traffic. ICORES (2016)
Atle Riise, Carlo Mannino, Leonardo Lamorgese
Recursive logic-based Benders' decomposition for multi-mode outpatient scheduling. Eur. J. Oper. Res. 255 (3) (2016)
Leonardo Lamorgese, Carlo Mannino, Mauro Piacentini
Optimal Train Dispatching by Benders'-Like Reformulation. Transp. Sci. 50 (3) (2016)
Leonardo Lamorgese, Carlo Mannino
An Exact Decomposition Approach for the Real-Time Train Dispatching Problem. Oper. Res. 63 (1) (2015)
Matias Holte, Carlo Mannino
The implementor/adversary algorithm for the cyclic and robust scheduling problem in health-care. Eur. J. Oper. Res. 226 (3) (2013)
Leonardo Lamorgese, Carlo Mannino
The track formulation for the Train Dispatching problem. Electron. Notes Discret. Math. 41 (2013)
Fabio D'Andreagiovanni, Carlo Mannino, Antonio Sassano
GUB Covers and Power-Indexed Formulations for Wireless Network Design. Manag. Sci. 59 (1) (2013)
Maurizio Boccia, Carlo Mannino, Igor Vasilyev
The dispatching problem on multitrack territories: Heuristic approaches based on mixed integer linear programming. Networks 62 (4) (2013)
Fred E. Benth, Geir Dahl, Carlo Mannino
Computing Optimal Recovery Policies for Financial Markets. Oper. Res. 60 (6) (2012)
Carlo Mannino, Eivind J. Nilssen, Tomas Eric Nordlander
A pattern based, robust approach to cyclic master surgery scheduling. J. Sched. 15 (5) (2012)
Fabio D'Andreagiovanni, Carlo Mannino, Antonio Sassano
Negative Cycle Separation in Wireless Network Design. INOC (2011)
Carlo Mannino, Sara Mattia, Antonio Sassano
Planning wireless networks by shortest path. Comput. Optim. Appl. 48 (3) (2011)
Carlo Mannino, Alessandro Mascis
Optimal Real-Time Traffic Control in Metro Stations. Oper. Res. 57 (4) (2009)
Carlo Mannino, Fabrizio Rossi, Antonio Sassano, Stefano Smriglio
Time offset optimization in digital broadcasting. Discret. Appl. Math. 156 (3) (2008)
Francesco Delli Priscoli, Carlo Mannino, Massimo Muratore
Joined MAC Scheduling and Transport Format Choice for UMTS Uplink Transmission. Wirel. Pers. Commun. 40 (1) (2007)
Karen Aardal, Stan P. M. van Hoesel, Arie M. C. A. Koster, Carlo Mannino, Antonio Sassano
Models and solution techniques for frequency assignment problems. Ann. Oper. Res. 153 (1) (2007)
Carlo Mannino, Gianpaolo Oriolo, Federico Ricci-Tersenghi, L. Sunil Chandran
The stable set problem and the thinness of a graph. Oper. Res. Lett. 35 (1) (2007)
Carlo Mannino, Fabrizio Rossi, Stefano Smriglio
The Network Packing Problem in Terrestrial Broadcasting. Oper. Res. 54 (4) (2006)
L. Sunil Chandran, Carlo Mannino, Gianpaolo Oriolo
On the cubicity of certain graphs. Inf. Process. Lett. 94 (3) (2005)
Karen Aardal, Stan P. M. van Hoesel, Arie M. C. A. Koster, Carlo Mannino, Antonio Sassano
Models and solution techniques for frequency assignment problems. 4OR 1 (4) (2003)
Carlo Mannino, Antonio Sassano
An Enumerative Algorithm for the Frequency Assignment Problem. Discret. Appl. Math. 129 (1) (2003)
Alessandro Avenali, Carlo Mannino, Antonio Sassano
-walks to compute optimum frequency assignments. Math. Program. 91 (2) (2002)
Carlo Mannino, Egidio Stefanutti
An Augmentation Algorithm for the Maximum Weighted Stable Set Problem. Comput. Optim. Appl. 14 (3) (1999)
Paola Bertolazzi, Giuseppe Di Battista, Carlo Mannino, Roberto Tamassia
Optimal Upward Planarity Testing of Single-Source Digraphs. SIAM J. Comput. 27 (1) (1998)
Carlo Mannino, Antonio Sassano
Solving hard set covering problems. Oper. Res. Lett. 18 (1) (1995)
Paola Bertolazzi, Giuseppe Di Battista, Giuseppe Liotta, Carlo Mannino
Upward Drawings of Triconnected Digraphs. Algorithmica 12 (6) (1994)
Carlo Mannino, Antonio Sassano
An exact algorithm for the maximum stable set problem. Comput. Optim. Appl. 3 (3) (1994)
Carlo Mannino, Antonio Sassano
Edge projection and the maximum cardinality stable set problem. Cliques, Coloring, and Satisfiability (1993)
Paola Bertolazzi, Giuseppe Di Battista, Carlo Mannino, Roberto Tamassia
Optimal Upward Planarity Testing of Single-Source Digraphs. ESA (1993)