SMT solvers for flexible job-shop scheduling problems: A computational analysis
Paper in proceeding, 2019
Author
Sabino Francesco Roselli
Chalmers, Electrical Engineering, Systems and control
Kristofer Bengtsson
Chalmers, Electrical Engineering, Systems and control
Knut Åkesson
Chalmers, Electrical Engineering, Systems and control
Published in
IEEE International Conference on Automation Science and Engineering
21618070 (ISSN) 21618089 (eISSN)
Vol. 2019-August p. 673-678 art. no 8843025978-172810355-6 (ISBN)
Conference
Vancouver, Canada, 2019-08-21 - 2019-08-25
Research Project(s)
Engineering Tool Chain for Efficient and Iterative Development of Smart Factories (ENTOC)
VINNOVA (2016-02716), 2016-09-01 -- 2019-08-31.
Categorizing
Subject Categories (SSIF 2011)
Computational Mathematics
Control Engineering
Computer Science
Identifiers
DOI
10.1109/COASE.2019.8843025