{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T09:08:54Z","timestamp":1649063334066},"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.593-614","type":"journal-article","created":{"date-parts":[[2015,4,9]],"date-time":"2015-04-09T13:46:46Z","timestamp":1428587206000},"page":"593-614","source":"Crossref","is-referenced-by-count":0,"title":["Am\u00e9liorer SAT dans le cadre incr\u00e9mental"],"prefix":"10.18280","volume":"28","author":[{"given":"Gilles","family":"Audemard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Biere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marie","family":"Lagniez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Simon","sequence":"additional","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:46Z","timestamp":1563305746000},"score":1,"resource":{"primary":{"URL":"http:\/\/ria.revuesonline.com\/article.jsp?articleId=19951"}},"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.593-614","relation":{},"ISSN":["0992-499X"],"issn-type":[{"value":"0992-499X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,10,30]]}}}