{"id":"https://openalex.org/W4310511303","doi":"https://doi.org/10.48550/arxiv.2211.16011","title":"Incorporating Multi-armed Bandit with Local Search for MaxSAT","display_name":"Incorporating Multi-armed Bandit with Local Search for MaxSAT","publication_year":2022,"publication_date":"2022-11-29","ids":{"openalex":"https://openalex.org/W4310511303","doi":"https://doi.org/10.48550/arxiv.2211.16011"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2211.16011","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2211.16011","pdf_url":"https://arxiv.org/pdf/2211.16011","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2211.16011","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103094509","display_name":"Jiongzhi Zheng","orcid":"https://orcid.org/0000-0002-1013-2651"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zheng, Jiongzhi","raw_affiliation_strings":["HUST - Huazhong University of Science and Technology [Wuhan] (1037 Luoyu Rd, Hongshan, Wuhan, Hubei - Chine)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HUST - Huazhong University of Science and Technology [Wuhan] (1037 Luoyu Rd, Hongshan, Wuhan, Hubei - Chine)","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100700363","display_name":"Kun He","orcid":"https://orcid.org/0000-0001-8943-8671"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He, Kun","raw_affiliation_strings":["HUST - Huazhong University of Science and Technology [Wuhan] (1037 Luoyu Rd, Hongshan, Wuhan, Hubei - Chine)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HUST - Huazhong University of Science and Technology [Wuhan] (1037 Luoyu Rd, Hongshan, Wuhan, Hubei - Chine)","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100550500","display_name":"Jianrong Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhou, Jianrong","raw_affiliation_strings":["HUST - Huazhong University of Science and Technology [Wuhan] (1037 Luoyu Rd, Hongshan, Wuhan, Hubei - Chine)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HUST - Huazhong University of Science and Technology [Wuhan] (1037 Luoyu Rd, Hongshan, Wuhan, Hubei - Chine)","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023969203","display_name":"Yan Jin","orcid":"https://orcid.org/0000-0002-6502-5837"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jin, Yan","raw_affiliation_strings":["HUST - Huazhong University of Science and Technology [Wuhan] (1037 Luoyu Rd, Hongshan, Wuhan, Hubei - Chine)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HUST - Huazhong University of Science and Technology [Wuhan] (1037 Luoyu Rd, Hongshan, Wuhan, Hubei - Chine)","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038680735","display_name":"Chu-Min Li","orcid":"https://orcid.org/0000-0002-6886-8434"},"institutions":[{"id":"https://openalex.org/I4647051","display_name":"Universit\u00e9 de Picardie Jules Verne","ror":"https://ror.org/01gyxrk03","country_code":"FR","type":"education","lineage":["https://openalex.org/I4647051"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Li, Chu-Min","raw_affiliation_strings":["MIS - Mod\u00e9lisation, Information et Syst\u00e8mes - UR UPJV 4290 (Universit\u00e9 de Picardie Jules Verne - UFR des Sciences - 33, rue Saint Leu - \r\n80039 AMIENS CEDEX 1 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIS - Mod\u00e9lisation, Information et Syst\u00e8mes - UR UPJV 4290 (Universit\u00e9 de Picardie Jules Verne - UFR des Sciences - 33, rue Saint Leu - \r\n80039 AMIENS CEDEX 1 - France)","institution_ids":["https://openalex.org/I4647051"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061148416","display_name":"Felip Many\u00e0","orcid":"https://orcid.org/0000-0002-8366-1458"},"institutions":[{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Many\u00e0, Felip","raw_affiliation_strings":["IIIA / CSIC - Artificial Intelligence Research Institute / Spanish Scientific Research Council (Campus de la UAB Bellaterra E-08193 - Espagne)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIIA / CSIC - Artificial Intelligence Research Institute / Spanish Scientific Research Council (Campus de la UAB Bellaterra E-08193 - Espagne)","institution_ids":["https://openalex.org/I4210131846"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9865000247955322,"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/T12288","display_name":"Optimization and Search Problems","score":0.9865000247955322,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9725000262260437,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9674999713897705,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.8790557384490967},{"id":"https://openalex.org/keywords/initialization","display_name":"Initialization","score":0.7780258655548096},{"id":"https://openalex.org/keywords/local-search","display_name":"Local search (optimization)","score":0.6749022603034973},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6304338574409485},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5499118566513062},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5355889797210693},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5279535055160522},{"id":"https://openalex.org/keywords/local-optimum","display_name":"Local optimum","score":0.5176125764846802},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.48853978514671326},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4442436099052429},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3267185389995575},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.06497696042060852}],"concepts":[{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.8790557384490967},{"id":"https://openalex.org/C114466953","wikidata":"https://www.wikidata.org/wiki/Q6034165","display_name":"Initialization","level":2,"score":0.7780258655548096},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.6749022603034973},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6304338574409485},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5499118566513062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5355889797210693},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5279535055160522},{"id":"https://openalex.org/C141934464","wikidata":"https://www.wikidata.org/wiki/Q3305386","display_name":"Local optimum","level":2,"score":0.5176125764846802},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.48853978514671326},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4442436099052429},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3267185389995575},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.06497696042060852},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2211.16011","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2211.16011","pdf_url":"https://arxiv.org/pdf/2211.16011","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:HAL:hal-04154091v1","is_oa":false,"landing_page_url":"https://u-picardie.hal.science/hal-04154091","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2023","raw_type":"info:eu-repo/semantics/preprint"},{"id":"doi:10.48550/arxiv.2211.16011","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2211.16011","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2211.16011","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2211.16011","pdf_url":"https://arxiv.org/pdf/2211.16011","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.44999998807907104,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2584551362","display_name":null,"funder_award_id":"100338928","funder_id":"https://openalex.org/F4320333993","funder_display_name":"Microsoft Research Asia"},{"id":"https://openalex.org/G5601515516","display_name":null,"funder_award_id":"U22B2017","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6518075747","display_name":null,"funder_award_id":"100338928","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320308943","display_name":"Microsoft Research","ror":"https://ror.org/00d0nc645"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320333993","display_name":"Microsoft Research Asia","ror":"https://ror.org/0300m5276"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2123829500","https://openalex.org/W2305572622","https://openalex.org/W4283765137","https://openalex.org/W4317496694","https://openalex.org/W3174749984","https://openalex.org/W4287021660","https://openalex.org/W4310265364","https://openalex.org/W4382239505","https://openalex.org/W2885371939","https://openalex.org/W110496925"],"abstract_inverted_index":{"Partial":[0],"MaxSAT":[1,13],"(PMS)":[2],"and":[3,62,97,113,127,143],"Weighted":[4],"PMS":[5],"(WPMS)":[6],"are":[7],"two":[8,31,86],"practical":[9],"generalizations":[10],"of":[11,130],"the":[12,36,49,54,63,68,75,82,90,118,124,137,144],"problem.":[14],"In":[15],"this":[16],"paper,":[17],"we":[18],"propose":[19,103],"a":[20],"local":[21,41,139],"search":[22,37,92,140],"algorithm":[23,55,76],"for":[24,107],"these":[25],"problems,":[26],"called":[27],"BandHS,":[28],"which":[29],"applies":[30],"multi-armed":[32],"bandits":[33,87],"to":[34,52,57,73,80],"guide":[35],"directions":[38],"when":[39,116],"escaping":[40],"optima.":[42],"One":[43],"bandit":[44,65],"is":[45],"combined":[46],"with":[47,66],"all":[48,67],"soft":[50,60],"clauses":[51,72,115],"help":[53,74],"select":[56,77],"satisfy":[58,81],"appropriate":[59,78],"clauses,":[61],"other":[64],"literals":[69,79],"in":[70,94],"hard":[71,83],"clauses.":[84],"These":[85],"can":[88],"improve":[89],"algorithm's":[91],"ability":[93],"both":[95,111],"feasible":[96],"infeasible":[98],"solution":[99],"spaces.":[100],"We":[101],"further":[102],"an":[104],"initialization":[105],"method":[106],"(W)PMS":[108],"that":[109,134],"prioritizes":[110],"unit":[112],"binary":[114],"producing":[117],"initial":[119],"solutions.":[120],"Extensive":[121],"experiments":[122],"demonstrate":[123],"excellent":[125],"performance":[126],"generalization":[128],"capability":[129],"our":[131],"proposed":[132],"methods,":[133],"greatly":[135],"boost":[136],"state-of-the-art":[138,145],"algorithm,":[141],"SATLike3.0,":[142],"SAT-based":[146],"incomplete":[147],"solver,":[148],"NuWLS-c.":[149]},"counts_by_year":[],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}