{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T19:45:57Z","timestamp":1720640757027},"reference-count":19,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Discrete Mathematics"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1016\/s1571-0653(04)00336-1","type":"journal-article","created":{"date-parts":[[2005,4,9]],"date-time":"2005-04-09T09:34:04Z","timestamp":1113039244000},"page":"392-407","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Extending the Reach of SAT with Many-Valued Logics"],"prefix":"10.1016","volume":"9","author":[{"given":"Ram\u00f3n","family":"Bejar","sequence":"first","affiliation":[]},{"given":"Alba","family":"Cabiscol","sequence":"additional","affiliation":[]},{"given":"Cesar","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[]},{"given":"Felip","family":"Many\u00e0","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0653(04)00336-1_BIB1","first-page":"256","article-title":"Generating satisfiable problem instances","author":"Achlioptas","year":"2000","journal-title":"Proc. of AAAI-2000"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB2","first-page":"203","article-title":"Using CSP look-back techniques to solve real-world SAT instances","author":"Bayardo","year":"1997","journal-title":"Proc. of AAAI'97"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB3","author":"B\u00e9jar","year":"2000","journal-title":"Systematic and Local Search Algorithms for Regular-SAT. PhD thesis, Universitat Autonoma de Barcelona"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB4","first-page":"292","article-title":"Phase transitions in the regular random 3-SAT problem","author":"B\u00e9jar","year":"1999","journal-title":"Proc. of ISMIS'99"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB5","doi-asserted-by":"crossref","DOI":"10.1090\/dimacs\/026\/13","article-title":"Exploring the k-colorable landscape with iterated greedy","author":"Culberson","year":"1996","journal-title":"Cliques, Coloring and Satisfiability, volume 26 of DIM ACS Series in Discrete Mathematics and Theoretical Computer Science."},{"key":"10.1016\/S1571-0653(04)00336-1_BIB6","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/368273.368557","article-title":"A machine program for theorem-proving","volume":"5","author":"Davis","year":"1962","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB7","article-title":"QWH - A structured benchmark domain for local search","author":"Gomes","year":"2001","journal-title":"Technical Report, Intelligent Information Systems Institute (IISI), Cornell University"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB8","series-title":"Heavy-tailed distributions in combinatorial search. In Proc. of CP'97","first-page":"121","author":"Gomes","year":"1997"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB9","first-page":"221","article-title":"Problem structure in the presence of perturbations","author":"Gomes","year":"1997","journal-title":"Proc. of AAAI'97"},{"issue":"6","key":"10.1016\/S1571-0653(04)00336-1_BIB10","doi-asserted-by":"crossref","first-page":"905","DOI":"10.1093\/logcom\/4.6.905","article-title":"Short conjunctive normal forms in finitely-valued logics","volume":"4","author":"H\u00fchnle","year":"1994","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB11","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1080\/11663081.1996.10510866","article-title":"Exploiting data dependencies in many-valued logics","volume":"6","author":"H\u00fchnle","year":"1996","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"4","key":"10.1016\/S1571-0653(04)00336-1_BIB12","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1023\/A:1006350622830","article-title":"Local search algorithms for SAT: An empirical evaluation","volume":"24","author":"Hoos","year":"2000","journal-title":"Journal of Automated Reasoning"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB13","first-page":"341","article-title":"Look-ahead versus look-back for satisfiability problems","author":"Li and Anbulagan","year":"1997","journal-title":"Proc. of CP'97"},{"issue":"4","key":"10.1016\/S1571-0653(04)00336-1_BIB14","first-page":"307","article-title":"The 2-SAT problem in signed CNF formulas","volume":"5","author":"Many\u00e0","year":"2000","journal-title":"Multiple-Valued Logic. An International Journal"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB15","article-title":"Sports league scheduling","author":"McAloon","year":"1997","journal-title":"Proc. of ILOG International Users Meeting"},{"issue":"8","key":"10.1016\/S1571-0653(04)00336-1_BIB16","article-title":"Determining computacional complexity from characteristic \u2018phase transitions\u2019","volume":"400","author":"Monasson","year":"1999","journal-title":"Nature"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB17","first-page":"362","article-title":"A filtering algorithm for constraints of difference in CSPs","author":"R\u00e9gin","year":"1994","journal-title":"Proc. of AAAI'94"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB18","first-page":"337","article-title":"Noise strategies for improving local search","author":"Selman","year":"1994","journal-title":"Proc. of AAAI'94"},{"key":"10.1016\/S1571-0653(04)00336-1_BIB19","article-title":"The difference all-difference makes","author":"Stergiou","year":"1999","journal-title":"Proc. of IJCAI'99"}],"container-title":["Electronic Notes in Discrete Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571065304003361?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571065304003361?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,10]],"date-time":"2019-02-10T10:48:51Z","timestamp":1549795731000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571065304003361"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":19,"alternative-id":["S1571065304003361"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0653(04)00336-1","relation":{},"ISSN":["1571-0653"],"issn-type":[{"value":"1571-0653","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}