{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T15:20:37Z","timestamp":1648999237692},"reference-count":0,"publisher":"International Information and Engineering Technology Association","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Revue d'intelligence artificielle"],"published-print":{"date-parts":[[2014,10,30]]},"DOI":"10.3166\/ria.28.615-636","type":"journal-article","created":{"date-parts":[[2015,4,9]],"date-time":"2015-04-09T13:46:46Z","timestamp":1428587206000},"page":"615-636","source":"Crossref","is-referenced-by-count":0,"title":["R\u00e9utiliser ou adapter les prouveurs SAT pour l\u2019optimisation bool\u00e9enne"],"prefix":"10.18280","volume":"28","author":[{"given":"Daniel","family":"Le Berre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Lonca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7618","container-title":["Revue d'intelligence artificielle"],"original-title":[],"deposited":{"date-parts":[[2019,7,16]],"date-time":"2019-07-16T19:35:53Z","timestamp":1563305753000},"score":1,"resource":{"primary":{"URL":"http:\/\/ria.revuesonline.com\/article.jsp?articleId=19952"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,30]]},"references-count":0,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,10,30]]}},"URL":"https:\/\/doi.org\/10.3166\/ria.28.615-636","relation":{},"ISSN":["0992-499X"],"issn-type":[{"value":"0992-499X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,10,30]]}}}