{"id":"https://openalex.org/W2002653486","doi":"https://doi.org/10.1093/comjnl/bxu135","title":"Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation","display_name":"Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation","publication_year":2014,"publication_date":"2014-11-23","ids":{"openalex":"https://openalex.org/W2002653486","doi":"https://doi.org/10.1093/comjnl/bxu135","mag":"2002653486"},"language":"en","primary_location":{"id":"doi:10.1093/comjnl/bxu135","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxu135","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077138780","display_name":"Shaowei Cai","orcid":"https://orcid.org/0000-0003-1730-6922"},"institutions":[{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["AU","CN"],"is_corresponding":true,"raw_author_name":"Shaowei Cai","raw_affiliation_strings":["Queensland Research Lab, NICTA, Brisbane, Australia","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","1State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","2Queensland Research Lab, NICTA, Brisbane, Australia"],"affiliations":[{"raw_affiliation_string":"Queensland Research Lab, NICTA, Brisbane, Australia","institution_ids":["https://openalex.org/I42894916"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"1State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"2Queensland Research Lab, NICTA, Brisbane, Australia","institution_ids":["https://openalex.org/I42894916"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006894386","display_name":"Chuan Luo","orcid":"https://orcid.org/0000-0001-5028-1064"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chuan Luo","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Peking University, Beijing, China","3Key Laboratory of High Confidence Software Technologies, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"3Key Laboratory of High Confidence Software Technologies, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037325282","display_name":"Kaile Su","orcid":"https://orcid.org/0000-0001-6741-9699"},"institutions":[{"id":"https://openalex.org/I11701301","display_name":"Griffith University","ror":"https://ror.org/02sc3r913","country_code":"AU","type":"education","lineage":["https://openalex.org/I11701301"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Kaile Su","raw_affiliation_strings":["Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia","4Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia"],"affiliations":[{"raw_affiliation_string":"Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia","institution_ids":["https://openalex.org/I11701301"]},{"raw_affiliation_string":"4Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia","institution_ids":["https://openalex.org/I11701301"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5077138780"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I42894916"],"apc_list":{"value":2635,"currency":"GBP","value_usd":3232},"apc_paid":null,"fwci":1.3792,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.82997295,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"58","issue":"11","first_page":"2864","last_page":"2875"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13553","display_name":"Age of Information Optimization","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13553","display_name":"Age of Information Optimization","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9735000133514404,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/beijing","display_name":"Beijing","score":0.6609323024749756},{"id":"https://openalex.org/keywords/chinese-academy-of-sciences","display_name":"Chinese academy of sciences","score":0.6176157593727112},{"id":"https://openalex.org/keywords/china","display_name":"China","score":0.5479774475097656},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.5414708852767944},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46453148126602173},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45910051465034485},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.44597509503364563},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.37547770142555237},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.1496002972126007},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07565224170684814},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.06249505281448364}],"concepts":[{"id":"https://openalex.org/C2778304055","wikidata":"https://www.wikidata.org/wiki/Q657474","display_name":"Beijing","level":3,"score":0.6609323024749756},{"id":"https://openalex.org/C2984488660","wikidata":"https://www.wikidata.org/wiki/Q530471","display_name":"Chinese academy of sciences","level":3,"score":0.6176157593727112},{"id":"https://openalex.org/C191935318","wikidata":"https://www.wikidata.org/wiki/Q148","display_name":"China","level":2,"score":0.5479774475097656},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.5414708852767944},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46453148126602173},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45910051465034485},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.44597509503364563},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.37547770142555237},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.1496002972126007},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07565224170684814},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.06249505281448364}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/comjnl/bxu135","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxu135","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"},{"id":"pmh:oai:research-repository.griffith.edu.au:10072/99188","is_oa":false,"landing_page_url":"http://hdl.handle.net/10072/99188","pdf_url":null,"source":{"id":"https://openalex.org/S4306402548","display_name":"Griffith Research Online (Griffith University, Queensland, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I11701301","host_organization_name":"Griffith University","host_organization_lineage":["https://openalex.org/I11701301"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2015747722","https://openalex.org/W2362050182","https://openalex.org/W2382418233","https://openalex.org/W2369897927","https://openalex.org/W3031731056","https://openalex.org/W4293167957","https://openalex.org/W2946847040","https://openalex.org/W2082279018","https://openalex.org/W2121575220","https://openalex.org/W4213119152"],"abstract_inverted_index":{"Stochastic":[0],"local":[1],"search":[2],"(SLS)":[3],"algorithms":[4,30,76],"are":[5,70],"well":[6,47],"known":[7],"for":[8,31,77,154],"their":[9],"ability":[10],"to":[11,112,118,158],"efficiently":[12],"find":[13],"models":[14],"of":[15,18,25,55,134,161,171,179],"random":[16,49,58,137,185],"instances":[17,60,139],"the":[19,26,53,145,177,180],"Boolean":[20],"satisfiability":[21],"(SAT)":[22],"problem.":[23],"One":[24],"most":[27],"famous":[28],"SLS":[29,75],"SAT":[32],"is":[33,36,110],"WalkSAT,":[34,116],"which":[35,109,156],"an":[37,151],"initial":[38],"algorithm":[39,121],"that":[40,128],"has":[41],"wide":[42],"influence":[43],"and":[44,175],"performs":[45],"very":[46],"on":[48,57,73,98,136,168,184],"3-SAT":[50,186],"instances.":[51,79],"However,":[52],"performance":[54],"WalkSAT":[56,131],"k-SAT":[59,138],"with":[61,140],"k":[62,141],">":[63,142],"3":[64,143],"lags":[65],"far":[66],"behind.":[67],"Indeed,":[68],"there":[69],"limited":[71],"works":[72],"improving":[74],"such":[78],"This":[80],"work":[81],"takes":[82],"a":[83,91,103,119,159],"good":[84],"step":[85],"toward":[86],"this":[87,99],"direction.":[88],"We":[89,163],"propose":[90,150],"novel":[92],"concept":[93],"namely":[94],"multilevel":[95],"make.":[96],"Based":[97],"concept,":[100],"we":[101,149],"design":[102],"scoring":[104],"function":[105,183],"called":[106,122],"linear":[107,172,181],"make,":[108],"utilized":[111],"break":[113],"ties":[114],"in":[115],"leading":[117],"new":[120],"WalkSATlm.":[123],"Our":[124],"experimental":[125],"results":[126],"show":[127,176],"WalkSATlm":[129],"improves":[130],"by":[132],"orders":[133],"magnitude":[135],"near":[144],"phase":[146],"transition.":[147],"Additionally,":[148],"efficient":[152],"implementation":[153],"WalkSATlm,":[155],"leads":[157],"speedup":[160],"100%.":[162],"also":[164],"give":[165],"some":[166],"insights":[167],"different":[169],"forms":[170],"make":[173,182],"functions,":[174],"limitation":[178],"through":[187],"theoretical":[188],"analysis.":[189]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}