{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:22:02Z","timestamp":1730280122247,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"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,11]]},"DOI":"10.1109\/la-cci47412.2019.9036765","type":"proceedings-article","created":{"date-parts":[[2020,3,20]],"date-time":"2020-03-20T08:23:56Z","timestamp":1584692636000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Integrating a SMT Solver based Local Search in Ant Colony Optimization for Solving RCMPSP"],"prefix":"10.1109","author":[{"given":"Mariam Gomez","family":"Sanchez","sequence":"first","affiliation":[]},{"given":"Alejandro Fernandez","family":"Gil","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Castro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(94)90015-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2006.06.074"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/s00170-005-0199-2","article-title":"Multi-project scheduling using an heuristic and a genetic algorithm","volume":"31","author":"kumanan","year":"2006","journal-title":"The International Journal of Advanced Manufacturing Technology"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-013-0767-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1111\/j.1475-3995.2007.00614.x"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00291-009-0178-3"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1504\/IJADS.2016.081092"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10951-014-0401-1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-017-3003-y"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(95)00357-6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-006-0158-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.16.1.93"},{"key":"ref6","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"journal-title":"Ant Colony Optimization","year":"2010","author":"dorigo","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-1-4615-5533-9_9","article-title":"Benchmark instances for project scheduling problems","author":"kolisch","year":"1999","journal-title":"Project Scheduling"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(97)00335-4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1287\/opre.26.1.22"},{"journal-title":"An exact algorithm for the multiple constrained project scheduling problem","year":"1969","author":"davis","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(91)90150-T"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.physa.2011.12.004"},{"key":"ref21","article-title":"A satisfiability modulo theories approach to constraint programming","author":"suy franch","year":"2012","journal-title":"Ph D Dissertation"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2861"},{"key":"ref23","article-title":"A framework for autonomous generation of strategies in satisfiability modulo theories","author":"ramirez","year":"2018","journal-title":"Ph D Dissertation"}],"event":{"name":"2019 IEEE Latin American Conference on Computational Intelligence (LA-CCI)","start":{"date-parts":[[2019,11,11]]},"location":"Guayaquil, Ecuador","end":{"date-parts":[[2019,11,15]]}},"container-title":["2019 IEEE Latin American Conference on Computational Intelligence (LA-CCI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9028002\/9036753\/09036765.pdf?arnumber=9036765","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T15:21:54Z","timestamp":1658157714000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9036765\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/la-cci47412.2019.9036765","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}