SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation. - Sabino Francesco Roselli; Kristofer Bengtsson; Knut Åkesson (CASE, 2018)

SMT Solvers for Flexible Job-Shop Scheduling Problems: A Computational Analysis. - Sabino Francesco Roselli; Kristofer Bengtsson; Knut Åkesson (CASE, 2019)

On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin Covering. - Sabino Francesco Roselli; Fredrik Hagebring; Sarmad Riazi; Martin Fabian; Knut Åkesson (CASE, 2019)

Comparison of Exact and Approximate methods for the Vehicle Routing Problem with Time Windows. - Elinor Jernheden; Carl Lindström; Rickard Persson; Max Wedenmark; Endre Erós; Sabino Francesco Roselli; Knut Åkesson (CASE, 2020)

Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation. - Sabino Francesco Roselli; Kristofer Bengtsson; Knut Åkesson (CASE, 2020)

An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. - Sabino Francesco Roselli; Martin Fabian; Knut Åkesson (CASE, 2021)

Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. - Sabino Francesco Roselli; Martin Fabian; Knut Åkesson (MED, 2021)

On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering. - Sabino Francesco Roselli; Fredrik Hagebring; Sarmad Riazi; Martin Fabian; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2021)

A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem. - Sabino Francesco Roselli; Per-Lage Götvall; Martin Fabian; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2022)

Online Conflict-Free Scheduling of Fleets of Autonomous Mobile Robots. - Francesco Popolizio; Martina Vinetti; Alvin Combrink; Sabino Francesco Roselli; Maria Pia Fanti; Martin Fabian (CASE, 2024)

Integrating Machine and Quality Data for Predictive Maintenance in Manufacturing System. - Sabino Francesco Roselli; Martin Dahl; Mukund Subramaniyan; Ebru Turanoglu Bekar; Anders Skoogh (APMS (5), 2024)

Conflict-free electric vehicle routing problem: an improved compositional algorithm. - Sabino Francesco Roselli; Martin Fabian; Knut Åkesson (Discret. Event Dyn. Syst., 2024)

Experiments with Optimal Model Trees. - Sabino Francesco Roselli; Eibe Frank (CoRR, 2025)

Prioritized Planning for Continuous-time Lifelong Multi-agent Pathfinding. - Alvin Combrink; Sabino Francesco Roselli; Martin Fabian (CoRR, 2025)

A Comparative Study of SMT and MILP for the Nurse Rostering Problem. - Alvin Combrink; Stephie Do; Kristofer Bengtsson; Sabino Francesco Roselli; Martin Fabian (CoRR, 2025)

Sound and Solution-Complete CCBS. - Alvin Combrink; Sabino Francesco Roselli; Martin Fabian (CoRR, 2025)

Combining High Level Scheduling and Low Level Control to Manage Fleets of Mobile Robots. - Sabino Francesco Roselli; Ze Zhang; Knut Åkesson (CoRR, 2025)