@InProceedings{Doshi+TAKK:2024,
  author =       "Doshi, Hastyn and Tripathi, Ayush and Agarwal, Keshav and Khadilkar, Harshad and Kalyanakrishnan, Shivaram",
  title =        "Linear-Time Optimal Deadlock Detection for Efficient Scheduling in Multi-Track Railway Networks",
  booktitle =    "Thirty-third International Joint Conference on Artificial Intelligence (IJCAI 2024)",
  year =         "2024",
  note = "To appear",
}