Work

SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation

Year: 2018

Type: conference-paper

Source: 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE)

DOI: 10.1109/coase.2018.8560344

Authors: Sabino Francesco Roselli, Kristofer Bengtsson, Knut Akesson

Institution: Chalmers University of Technology

Language: English

Topic: Scheduling and Optimization Algorithms

Subfield: Industrial and Manufacturing Engineering

Field: Engineering

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2903666872

FWCI: 5.509

Cites: 31

Cited by: 34

Related to: 10