Collaborated with:K.Åkesson K.Bengtsson Fredrik Hagebring S.Riazi M.Fabian
Talks about:schedul (2) problem (2) solver (2) optim (2) shop (2) smt (2) job (2) comparison (1) perform (1) flexibl (1)
Person: Sabino Francesco Roselli
DBLP: Roselli:Sabino_Francesco
Contributed to:
20182019Wrote 3 papers:
- CASE-2018-RoselliBA #comparison #evaluation #modelling #performance #problem #scheduling #smt
- SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation (SFR, KB, KÅ), pp. 547–552.
- CASE-2019-RoselliBA #analysis #flexibility #problem #scheduling #smt
- SMT Solvers for Flexible Job-Shop Scheduling Problems: A Computational Analysis (SFR, KB, KÅ), pp. 673–678.
- CASE-2019-RoselliHRFA #equivalence #on the #using
- On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin Covering (SFR, FH, SR, MF, KÅ), pp. 1004–1009.