{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T07:23:55Z","timestamp":1768548235170,"version":"3.49.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/coase.2018.8560344","type":"proceedings-article","created":{"date-parts":[[2018,12,13]],"date-time":"2018-12-13T01:00:52Z","timestamp":1544662852000},"page":"547-552","source":"Crossref","is-referenced-by-count":20,"title":["SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation"],"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":"publisher","DOI":"10.1287\/mnsc.44.2.262"},{"key":"ref11","article-title":"A state-of-the-art review of job-shop scheduling techniques","author":"jain","year":"1998","journal-title":"Technical report Department of Applied Physics Electronic and Mechanical Engineering University of Dundee Dundee Scotland Tech Rep"},{"key":"ref12","first-page":"3","article-title":"A history of satisfiability","volume":"185","author":"franco","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref13","first-page":"825","article-title":"Satisfiability modulo theories","volume":"185","author":"barrett","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref16","first-page":"93","article-title":"The MathSAT5 SMT solver","volume":"7795","author":"cimatti","year":"2013","journal-title":"TACAS"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-642-22110-1_14","article-title":"CVC4","author":"barrett","year":"2011","journal-title":"Proceedings of the 23rd International Conference on Computer Aided Verification Ser CAV'11"},{"key":"ref18","first-page":"194","article-title":"vZ-an optimizing smt solver","author":"bj\u00f8rner","year":"2015","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/978-3-319-21690-4_27","article-title":"OptiMathSAT: A tool for optimization modulo theories","author":"sebastiani","year":"2015","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_27"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2016.04.006"},{"key":"ref27","first-page":"1","article-title":"vZ-maximal satisfaction with Z3","volume":"30","author":"bjorner","year":"2014","journal-title":"SCSS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1100.0388"},{"key":"ref6","year":"2015","journal-title":"Gurobi Optimizer Reference Manual"},{"key":"ref5","year":"2015","journal-title":"12 6 users manual"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-011-0025-9"},{"key":"ref7","first-page":"17","article-title":"The SCIP optimization suite 5.0","author":"gleixner","year":"2017","journal-title":"eng ZIB Takustr 7 14195 Berlin Tech Rep"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2017.09.017"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2004.03.012"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(98)00113-1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1287\/moor.1.2.117"},{"key":"ref22","article-title":"Resouce constrained project scheduling: An experimental investigation of heuristic scheduling techniques (supplement)","author":"lawrence","year":"1984","journal-title":"Graduate School of Industrial Adminstration"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(93)90182-M"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.38.10.1495"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.3.2.149"},{"key":"ref26","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"},{"key":"ref25","first-page":"225","article-title":"Probabilistic learning combinations of local job-shop scheduling rules","author":"fisher","year":"1963","journal-title":"Industrial Scheduling"}],"event":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","location":"Munich, Germany","start":{"date-parts":[[2018,8,20]]},"end":{"date-parts":[[2018,8,24]]}},"container-title":["2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8536777\/8560337\/08560344.pdf?arnumber=8560344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T21:28:45Z","timestamp":1626902925000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8560344\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/coase.2018.8560344","relation":{},"subject":[],"published":{"date-parts":[[2018,8]]}}}