{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T09:24:12Z","timestamp":1774257852314,"version":"3.50.1"},"reference-count":49,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T00:00:00Z","timestamp":1430438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"China National 973 Program","award":["2010CB328103"],"award-info":[{"award-number":["2010CB328103"]}]},{"name":"China National 973 Program","award":["2014CB340301"],"award-info":[{"award-number":["2014CB340301"]}]},{"name":"ARC","award":["FT0991785"],"award-info":[{"award-number":["FT0991785"]}]},{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"crossref","award":["61370072"],"award-info":[{"award-number":["61370072"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Cybern."],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/tcyb.2014.2343242","type":"journal-article","created":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T14:38:54Z","timestamp":1407854334000},"page":"1028-1041","source":"Crossref","is-referenced-by-count":20,"title":["Clause States Based Configuration Checking in Local Search for Satisfiability"],"prefix":"10.1109","volume":"45","author":[{"family":"Chuan Luo","sequence":"first","affiliation":[]},{"family":"Shaowei Cai","sequence":"additional","affiliation":[]},{"family":"Kaile Su","sequence":"additional","affiliation":[]},{"family":"Wei Wu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"310","article-title":"An efficient global-search strategy in discrete Lagrangian methods for solving hard satisfiability problems","author":"wu","year":"2000","journal-title":"Proc Amer Assoc Artif Intell"},{"key":"ref38","first-page":"289","article-title":"Systematic vs. local search for SAT","author":"hoos","year":"1999","journal-title":"Proc KI"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21581-0_24"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31612-8_3"},{"key":"ref31","first-page":"337","article-title":"Noise strategies for improving local search","author":"selman","year":"1994","journal-title":"Proc Amer Assoc Artif Intell"},{"key":"ref30","first-page":"145","article-title":"Improving WalkSAT for random k-satisfiability problem with k > 3","author":"cai","year":"2013","journal-title":"Proc Amer Assoc Artif Intell"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46135-3_16"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006350622830"},{"key":"ref35","first-page":"440","article-title":"A new method for solving hard satisfiability problems","author":"selman","year":"1992","journal-title":"Proc Amer Assoc Artif Intell"},{"key":"ref34","first-page":"321","article-title":"Evidence for invariants in local search","author":"mcallester","year":"1997","journal-title":"Proc Amer Assoc Artif Intell"},{"key":"ref28","first-page":"434","article-title":"Configuration checking with aspiration in local search for SAT","author":"cai","year":"2012","journal-title":"Proc Amer Assoc Artif Intell"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2012.2218805"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.20057"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/978-3-642-40627-0_37","article-title":"Focused random walk with configuration checking and break minimum for satisfiability","author":"luo","year":"2013","journal-title":"Proc Constraint Programming"},{"key":"ref1","first-page":"570","article-title":"Improving local search for random 3-SAT using quantitative configuration checking","author":"luo","year":"2012","journal-title":"Proc 20th Eur Conf Artif Intell (ECAI)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10732-006-9007-x"},{"key":"ref22","first-page":"121","article-title":"Combining adaptive noise and look-ahead in local search for SAT","author":"li","year":"2007","journal-title":"Proc SAT"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/11499107_12"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21581-0_32"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14186-7_3"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.03.003"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31612-8_43"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref11","author":"hoos","year":"2004","journal-title":"Stochastic Local Search Foundations & Applications"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85958-1_21"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2013.2256418"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1991.185365"},{"key":"ref14","author":"michiels","year":"2007","journal-title":"Theoretical Aspects of Local Search"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1.3.190"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.2.1.4"},{"key":"ref17","first-page":"281","article-title":"Tabu search for SAT","author":"mazure","year":"1997","journal-title":"Proc Amer Assoc Artif Intell"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s004530010074"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44886-1_12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/21.247892"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.09.001"},{"key":"ref6","first-page":"49","article-title":"Comparing beliefs, surveys and random walks","volume":"17","author":"aurell","year":"2005","journal-title":"Proc Adv Neural Inf Process Syst"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2011.18"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2010.2089619"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1984.4767555"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2014.2346196"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"ref46","article-title":"Lingeling and friends at the SAT competition 2011","author":"biere","year":"2011"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-013-1326-4"},{"key":"ref48","first-page":"2703","article-title":"Double configuration checking in stochastic local search for satisfiability","author":"luo","year":"2014","journal-title":"Proc Amer Assoc Artif Intell"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-014-0556-7"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.04.001"},{"key":"ref41","first-page":"337","article-title":"A simple model to generate hard satisfiable instances","author":"xu","year":"2005","journal-title":"Proc Int Joint Conf Artif Intell (IJCAI)"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-011-9239-9"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/11499107_36"}],"container-title":["IEEE Transactions on Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221036\/7084711\/06876145.pdf?arnumber=6876145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:41:50Z","timestamp":1641987710000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6876145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":49,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tcyb.2014.2343242","relation":{},"ISSN":["2168-2267","2168-2275"],"issn-type":[{"value":"2168-2267","type":"print"},{"value":"2168-2275","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5]]}}}