A 0,1 Linear Programming Approach to Deadlock Detection and Management in Railways. - Dal Sasso, Veronica; Lamorgese, Leonardo; Mannino, Carlo; Onofri, Andrea; Ventura, Paolo (Transportation Science (INFORMS), 2025)