SMT solvers for job-shop scheduling problems: Models comparison and performance evaluation SF Roselli, K Bengtsson, K Åkesson 2018 IEEE 14th international conference on automation science and …, 2018 | 40 | 2018 |
A Compositional algorithm for the conflict-free electric vehicle routing problem SF Roselli, PL Götvall, M Fabian, K Åkesson IEEE Transactions on Automation Science and Engineering 19 (3), 1405-1421, 2022 | 12 | 2022 |
SMT solvers for flexible job-shop scheduling problems: A computational analysis SF Roselli, K Bengtsson, K Åkesson 2019 IEEE 15th International Conference on Automation Science and …, 2019 | 8 | 2019 |
Solving the conflict-free electric vehicle routing problem using SMT solvers SF Roselli, M Fabian, K Åkesson 2021 29th mediterranean conference on control and automation (MED), 542-547, 2021 | 7 | 2021 |
Compact representation of time-index job shop problems using a bit-vector formulation SF Roselli, K Bengtsson, K Åkesson 2020 IEEE 16th International Conference on Automation Science and …, 2020 | 2 | 2020 |
On the use of equivalence classes for optimal and sub-optimal bin covering S Roselli, F Hagebring, S Riazi, M Fabian, K Åkesson 2019 IEEE 15th International Conference on Automation Science and …, 2019 | 2 | 2019 |
Leveraging conflicting constraints in solving vehicle routing problems SF Roselli, R Vader, M Fabian, K Åkesson IFAC-PapersOnLine 55 (28), 22-29, 2022 | 1 | 2022 |
An SMT based compositional algorithm to solve a conflict-free electric vehicle routing problem SF Roselli, M Fabian, K Åkesson 2021 IEEE 17th International Conference on Automation Science and …, 2021 | 1 | 2021 |
On the use of equivalence classes for optimal and suboptimal bin packing and bin covering S Roselli, F Hagebring, S Riazi, M Fabian, K Åkesson IEEE Transactions on Automation Science and Engineering 18 (1), 369-381, 2020 | 1 | 2020 |
Comparison of exact and approximate methods for the vehicle routing problem with time windows E Jernheden, C Lindström, R Persson, M Wedenmark, E Erős, SF Roselli, ... 2020 IEEE 16th International Conference on Automation Science and …, 2020 | 1 | 2020 |
On Scheduling Using Optimizing SMT-Solvers SF Roselli PQDT-Global, 2020 | 1 | 2020 |
Conflict-free electric vehicle routing problem: an improved compositional algorithm SF Roselli, M Fabian, K Åkesson Discrete Event Dynamic Systems, 1-31, 2023 | | 2023 |
Conflict Free Routing of Mobile Robots: An SMT/MILP Based Compositional Algorithm SF Roselli Chalmers University of Technology, 2022 | | 2022 |
Conflict-Free Routing of Mobile Robots SF Roselli PQDT-Global, 2022 | | 2022 |