@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)",
  pages = "5799--5807",
  year =         "2024",
  publisher = "ijcai.org",
}