@article{ansmtbasedcompositionalmodeltosolvea,
  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},
  eprint = {2106.07387},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2106.07387v2},
}