{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T22:35:37Z","timestamp":1648679737529},"reference-count":6,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2012,12]]},"abstract":"<jats:p> Boolean Satisfiability (SAT) solvers have been successfully applied to a wide range of practical applications, including hardware model checking, software model finding, equivalence checking, and planning, among many others. SAT solvers are also the building block of more sophisticated decision procedures, including Satisfiability Modulo Theory (SMT) solvers. The large number of applications of SAT yields ever more challenging problem instances, and motivate the development of more efficient algorithms. Recent work studied hybrid approaches for SAT, which involves integrating incomplete and complete SAT solvers. This paper proposes a number of improvements to hybrid SAT solvers. Experimental results demonstrate that the proposed optimizations are effective. The resulting algorithms in general perform better and, more importantly, are significantly more robust. <\/jats:p>","DOI":"10.1142\/s021821301250025x","type":"journal-article","created":{"date-parts":[[2012,5,4]],"date-time":"2012-05-04T01:06:29Z","timestamp":1336093589000},"page":"1250025","source":"Crossref","is-referenced-by-count":1,"title":["HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY"],"prefix":"10.1142","volume":"21","author":[{"given":"FLORIAN","family":"LETOMBE","sequence":"first","affiliation":[{"name":"SpringSoft France, 6 place Robert Schuman, 38000 Grenoble, France"}]},{"given":"JOAO","family":"MARQUES-SILVA","sequence":"additional","affiliation":[{"name":"CASL\/CSI, University College Dublin (UCD), Dublin 4, Ireland"}]}],"member":"219","published-online":{"date-parts":[[2013,1,2]]},"reference":[{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(99)00081-X"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2007.893665"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"p_38","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018999721141"},{"key":"p_43","doi-asserted-by":"publisher","DOI":"10.1162\/evco.2006.14.2.223"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021821301250025X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T20:11:08Z","timestamp":1565122268000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021821301250025X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":6,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2013,1,2]]},"published-print":{"date-parts":[[2012,12]]}},"alternative-id":["10.1142\/S021821301250025X"],"URL":"https:\/\/doi.org\/10.1142\/s021821301250025x","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]}}}