{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:31:26Z","timestamp":1762507886528,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1109\/coase.2019.8843025","type":"proceedings-article","created":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T00:08:11Z","timestamp":1568938091000},"page":"673-678","source":"Crossref","is-referenced-by-count":6,"title":["SMT Solvers for Flexible Job-Shop Scheduling Problems: A Computational Analysis"],"prefix":"10.1109","author":[{"given":"Sabino Francesco","family":"Roselli","sequence":"first","affiliation":[]},{"given":"Kristofer","family":"Bengtsson","sequence":"additional","affiliation":[]},{"given":"Knut","family":"Akesson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"1539","DOI":"10.1016\/j.apm.2009.09.002","article-title":"Mathematical models for job-shop scheduling problems with routing and process plan flexibility","volume":"34","author":"\u00f6zg\u00fcven","year":"2010","journal-title":"Applied Mathematical Modelling"},{"key":"ref11","article-title":"A competitive iterative procedure using a time-indexed model for solving flexible job shop scheduling problems","author":"th\u00f6rnblad","year":"2013","journal-title":"Department of Mathematical Sciences Division of Mathematics Chalmers University of Technology and University of Gothenburg"},{"key":"ref12","first-page":"14","article-title":"The SMT-lib standard: Version 2.0","volume":"13","author":"barrett","year":"2010","journal-title":"Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh England)"},{"journal-title":"Flexible job shop scheduling problem","year":"2018","author":"barrech","key":"ref13"},{"key":"ref14","article-title":"Flexible job shop scheduling by tabu search","author":"barnes","year":"1996","journal-title":"Graduate Program in Operations and Industrial Engineering The University of Texas at Austin Technical Report Series"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF02023073"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930406487"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01719451"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-007-0026-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/nav.3800060205"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1287\/opre.7.5.621"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2016.04.006"},{"key":"ref8","first-page":"194","article-title":"?z - an optimizing SMT solver","author":"bj\u00f8rner","year":"2015","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref7","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proceedings of the Theory and Practice of Software 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ser TACAS’08\/ETAPS’08"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1287\/opre.8.2.219"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1111\/itor.12199"},{"key":"ref9","article-title":"SMT solvers for job-shop scheduling problems: Models comparison and performance evaluation","author":"roselli","year":"2017","journal-title":"Congress of CASE the Portuguese Operational Research Society"}],"event":{"name":"2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2019,8,22]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2019,8,26]]}},"container-title":["2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8827189\/8842826\/08843025.pdf?arnumber=8843025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,17]],"date-time":"2022-07-17T21:47:04Z","timestamp":1658094424000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8843025\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/coase.2019.8843025","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}