@misc{indiciae18e7ea10b472,
  title = {An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem},
  author = {Sabino Francesco Roselli and Martin Fabian and Knut Åkesson},
  year = {2021},
  url = {https://arxiv.org/abs/2106.07387},
  note = {Source identifier: 2106.07387}
}