@misc{indiciaed6834390b0c4,
  title = {Automated Intersection Management with MiniZinc},
  author = {Md. Mushfiqur Rahman and Nahian Muhtasim Zahin and Kazi Raiyan Mahmud and Md. Azmaeen Bin Ansar},
  year = {2020},
  doi = {10.1109/sti50764.2020.9350408},
  url = {https://arxiv.org/abs/2011.07509},
  note = {Source identifier: 2011.07509}
}