{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:43:54Z","timestamp":1729633434120,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/icm.2017.8268874","type":"proceedings-article","created":{"date-parts":[[2018,1,30]],"date-time":"2018-01-30T21:05:26Z","timestamp":1517346326000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Modelling industrial manufacturing problem using ILP solver : Case of production analysis"],"prefix":"10.1109","author":[{"given":"Khadija","family":"Bousmar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Monteiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sofiene","family":"Dellagi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zineb","family":"Habbas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abbas","family":"Dandache","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"331","article-title":"Where the really hard problems are","volume":"91","author":"cheeseman","year":"1991","journal-title":"IJCAI"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1126\/science.1069528"},{"journal-title":"«Aspects paralléles des problemes de satisfaisabilite»","year":"2009","author":"vander-swalmen","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10696-012-9152-5"},{"journal-title":"Linear Programming and Extensions","year":"2016","author":"dantzig","key":"ref14"},{"journal-title":"Linear Programming and Network Flows","year":"2011","author":"bazaraa","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50137-6_5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jclepro.2017.04.086"},{"journal-title":"MiniSAT (ID) for satisfiability checking and constraint solving","year":"2014","author":"de cat","key":"ref4"},{"key":"ref3","article-title":"The P versus NP complet","author":"cook","year":"2000","journal-title":"The P versus NP Problem Stephen Cook Manuscript prepared for the Clay Mathematics Institute for the Millennium Prize Problems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_2"},{"key":"ref5","article-title":"Boolean Satisfiability Solvers: Techniques, Implementations and Analysis","volume":"5","author":"lima","year":"2010","journal-title":"Electronica e Telecominicacoes"},{"journal-title":"0-1 Integer Linear Programming with a Linear Number of Constraints","year":"2014","author":"impagliazzo","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2010.528063"},{"key":"ref2","article-title":"A novel approach of solving the CNF-SAT problem","volume":"abs 1307 6291","author":"wang","year":"2013","journal-title":"Computer Research Repository-CORR"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2010.12.014"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1016\/j.jmsy.2016.12.013","article-title":"Joint integrated production-maintenance policy with production plan smoothing through production rate control","volume":"42","author":"sofiene","year":"2017","journal-title":"Journal of Manufacturing Systems"}],"event":{"name":"2017 29th International Conference on Microelectronics (ICM)","start":{"date-parts":[[2017,12,10]]},"location":"Beirut, Lebanon","end":{"date-parts":[[2017,12,13]]}},"container-title":["2017 29th International Conference on Microelectronics (ICM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8255703\/8268805\/08268874.pdf?arnumber=8268874","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T00:24:20Z","timestamp":1570667060000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8268874\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icm.2017.8268874","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}