{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:28:36Z","timestamp":1740202116812,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"abstract":"<jats:p>We present a local search algorithm exploiting two efficient solvers for SAT. The first one is based on the configuration checking strategy and the second one on an algorithm of the Walksat family. This new solver is dedicated to solve random k-SAT instances, such that k &amp;ge; 4. We have carried tests on the instances of the SAT Challenge 2012. The obtained results confirm the relevance of our approach.<\/jats:p>","DOI":"10.3233\/978-1-61499-421-3-11","type":"book-chapter","created":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:26:53Z","timestamp":1740133613000},"source":"Crossref","is-referenced-by-count":0,"title":["A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses"],"prefix":"10.3233","author":[{"family":"Abram&eacute; Andr&eacute;","sequence":"additional","affiliation":[]},{"family":"Habet Djamal","sequence":"additional","affiliation":[]},{"family":"Toumi Donia","sequence":"additional","affiliation":[]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","STAIRS 2014"],"original-title":[],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T11:33:16Z","timestamp":1740137596000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISSNISBN&issn=0922-6389&volume=264&spage=11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-61499-421-3-11","relation":{},"ISSN":["0922-6389"],"issn-type":[{"value":"0922-6389","type":"print"}],"subject":[],"published":{"date-parts":[[2014]]}}}