{"id":"https://openalex.org/W4400022843","doi":"https://doi.org/10.48550/arxiv.2406.15782","title":"A Local Search Algorithm for MaxSMT(LIA)","display_name":"A Local Search Algorithm for MaxSMT(LIA)","publication_year":2024,"publication_date":"2024-06-22","ids":{"openalex":"https://openalex.org/W4400022843","doi":"https://doi.org/10.48550/arxiv.2406.15782"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2406.15782","pdf_url":"https://arxiv.org/pdf/2406.15782","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"posted-content","indexed_in":["arxiv"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2406.15782","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100603785","display_name":"Xiang He","orcid":"https://orcid.org/0000-0003-1158-5633"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"He, Xiang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100443974","display_name":"Bohan Li","orcid":"https://orcid.org/0000-0002-3408-9037"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Bohan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038840780","display_name":"Mengyu Zhao","orcid":"https://orcid.org/0000-0003-3503-5476"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Mengyu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5077138780","display_name":"Shaowei Cai","orcid":"https://orcid.org/0000-0003-1730-6922"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cai, Shaowei","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":78},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.632,"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"}},"topics":[{"id":"https://openalex.org/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.632,"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"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.6292,"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.6198,"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":[],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5152683},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49680474}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2406.15782","pdf_url":"https://arxiv.org/pdf/2406.15782","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2406.15782","pdf_url":"https://arxiv.org/pdf/2406.15782","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4396701345","https://openalex.org/W4396696052","https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2073681303","https://openalex.org/W2051487156","https://openalex.org/W2001405890"],"abstract_inverted_index":{"MaxSAT":[0],"modulo":[1,10],"theories":[2,11],"(MaxSMT)":[3],"is":[4,57,84,109],"an":[5],"important":[6],"generalization":[7],"of":[8,27,128],"Satisfiability":[9],"(SMT)":[12],"with":[13,23,111],"various":[14],"applications.":[15],"In":[16],"this":[17],"paper,":[18],"we":[19,116],"focus":[20],"on":[21,46,72,100],"MaxSMT":[22,113],"the":[24,36,47,64,76,90,119,124],"background":[25],"theory":[26],"Linear":[28],"Integer":[29],"Arithmetic,":[30],"denoted":[31],"as":[32],"MaxSMT(LIA).":[33],"We":[34],"design":[35],"first":[37],"local":[38,66,125],"search":[39,67,77,126],"algorithm":[40,99,127],"for":[41,59],"MaxSMT(LIA)":[42],"called":[43,54],"PairLS,":[44],"based":[45],"following":[48],"novel":[49,52],"ideas.":[50],"A":[51],"operator":[53,56,68],"pairwise":[55,91,120],"proposed":[58,85],"integer":[60],"variables.":[61],"It":[62],"extends":[63],"original":[65],"by":[69],"simultaneously":[70],"operating":[71],"two":[73],"variables,":[74],"enriching":[75],"space.":[78],"Moreover,":[79],"a":[80],"compensation-based":[81],"picking":[82],"heuristic":[83],"to":[86,96,122],"determine":[87],"and":[88],"distinguish":[89],"operations.":[92],"Experiments":[93],"are":[94],"conducted":[95],"evaluate":[97],"our":[98,107],"massive":[101],"benchmarks.":[102],"The":[103],"results":[104],"show":[105],"that":[106],"solver":[108],"competitive":[110],"state-of-the-art":[112],"solvers.":[114],"Furthermore,":[115],"also":[117],"apply":[118],"operation":[121],"enhance":[123],"SMT,":[129],"which":[130],"shows":[131],"its":[132],"extensibility.":[133]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4400022843","counts_by_year":[],"updated_date":"2025-04-09T12:39:06.342355","created_date":"2024-06-26"}