An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Sabino Francesco Roselli, Martin Fabian, Knut Åkesson. An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. In 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, August 23-27, 2021. pages 1364-1369, IEEE, 2021. [doi]

The following publications are possibly variants of this publication:

Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT SolversSabino Francesco Roselli, Martin Fabian, Knut Åkesson. med 2021: 542-547 [doi]

A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing ProblemSabino Francesco Roselli, Per-Lage Götvall, Martin Fabian, Knut Åkesson. tase, 19(3):1405-1421, 2022. [doi]

Conflict-free electric vehicle routing problem: an improved compositional algorithmSabino Francesco Roselli, Martin Fabian, Knut Åkesson. deds, 34(1):21-51, 2024. [doi]

runs on WebDSL