{"id":"https://openalex.org/W7138263722","doi":"https://doi.org/10.1609/aaai.v40i17.38456","title":"Improving Exact Algorithm for Pseudo Boolean Optimization with Two New Phase Selection Heuristics","display_name":"Improving Exact Algorithm for Pseudo Boolean Optimization with Two New Phase Selection Heuristics","publication_year":2026,"publication_date":"2026-03-14","ids":{"openalex":"https://openalex.org/W7138263722","doi":"https://doi.org/10.1609/aaai.v40i17.38456"},"language":"en","primary_location":{"id":"doi:10.1609/aaai.v40i17.38456","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i17.38456","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38456/42418","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38456/42418","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103255514","display_name":"Yujiao Zhao","orcid":"https://orcid.org/0000-0003-1172-6467"},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yujiao Zhao","raw_affiliation_strings":["Northeast Normal University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeast Normal University","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125705434","display_name":"Yizhan Xiang","orcid":null},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yizhan Xiang","raw_affiliation_strings":["Northeast Normal University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeast Normal University","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129647424","display_name":"Jiangnan Li","orcid":null},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiangnan Li","raw_affiliation_strings":["Northeast Normal University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeast Normal University","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129699517","display_name":"Yiyuan Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yiyuan Wang","raw_affiliation_strings":["Northeast Normal University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeast Normal University","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5129650412","display_name":"Minghao Yin","orcid":null},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Minghao Yin","raw_affiliation_strings":["Northeast Normal University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeast Normal University","institution_ids":["https://openalex.org/I184983240"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I184983240"],"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":"40","issue":"17","first_page":"14405","last_page":"14413"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10848","display_name":"Advanced Multi-Objective Optimization Algorithms","score":0.30000001192092896,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10848","display_name":"Advanced Multi-Objective Optimization Algorithms","score":0.30000001192092896,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.15800000727176666,"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/T10142","display_name":"Formal Methods in Verification","score":0.13030000030994415,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/solver","display_name":"Solver","score":0.748199999332428},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6345999836921692},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5479999780654907},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5170999765396118},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5041000247001648},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.5020999908447266},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.45399999618530273},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.4189999997615814}],"concepts":[{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.748199999332428},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6345999836921692},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.6007000207901001},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5824999809265137},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5479999780654907},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5170999765396118},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5041000247001648},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.5020999908447266},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.45399999618530273},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.424699991941452},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4189999997615814},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.4002000093460083},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.3993000090122223},{"id":"https://openalex.org/C44280652","wikidata":"https://www.wikidata.org/wiki/Q104837","display_name":"Phase (matter)","level":2,"score":0.3573000133037567},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.35420000553131104},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34540000557899475},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C84135550","wikidata":"https://www.wikidata.org/wiki/Q3154022","display_name":"Linear inequality","level":3,"score":0.27559998631477356},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.275299996137619},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.2628999948501587},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.26100000739097595},{"id":"https://openalex.org/C2989514635","wikidata":"https://www.wikidata.org/wiki/Q5164377","display_name":"Constrained optimization problem","level":3,"score":0.26030001044273376},{"id":"https://openalex.org/C3019612716","wikidata":"https://www.wikidata.org/wiki/Q730920","display_name":"Problem solver","level":2,"score":0.25690001249313354}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1609/aaai.v40i17.38456","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i17.38456","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38456/42418","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:ojs.aaai.org:article/38456","is_oa":false,"landing_page_url":"https://ojs.aaai.org/index.php/AAAI/article/view/38456","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2159-5399","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1609/aaai.v40i17.38456","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i17.38456","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38456/42418","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1904811900","display_name":null,"funder_award_id":"61806050","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322174","display_name":"People's Government of Jilin Province","ror":"https://ror.org/02fzqav45"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7138263722.pdf","grobid_xml":"https://content.openalex.org/works/W7138263722.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Pseudo-Boolean":[0],"optimization":[1,26],"(PBO)":[2],"problem":[3],"involves":[4],"optimizing":[5],"a":[6,69,102],"linear":[7,11],"objective":[8,80],"function":[9,81],"under":[10],"inequality":[12],"constraints":[13],"defined":[14],"over":[15],"Boolean":[16],"variables.":[17],"PBO":[18,123],"is":[19],"widely":[20],"used":[21],"for":[22,140],"modeling":[23],"many":[24],"combinational":[25],"problems,":[27],"particularly":[28],"in":[29,78,97],"some":[30],"real-world":[31],"scenarios.":[32],"In":[33],"core-guided":[34],"CDCL-based":[35],"exact":[36],"solvers,":[37],"the":[38,50,79,86,92,132,150,154],"way":[39],"branching":[40],"variables":[41,77],"are":[42],"assigned,":[43],"known":[44],"as":[45],"phase":[46,64,71,117],"selection,":[47],"significantly":[48],"affects":[49],"solving":[51],"efficiency.":[52],"This":[53],"paper":[54],"introduces":[55],"two":[56,116,121],"strategies":[57,119],"to":[58,85,90],"enhance":[59],"solver":[60,93,152],"performance":[61],"by":[62],"improving":[63],"selection.":[65],"Firstly,":[66],"we":[67,100],"design":[68],"new":[70],"selection":[72,118],"strategy":[73],"that":[74,107,146],"actively":[75],"guides":[76],"toward":[82],"assignments":[83],"closer":[84],"optimal":[87],"solution.":[88],"Secondly,":[89],"prevent":[91],"from":[94,131,137,153],"becoming":[95],"trapped":[96],"local":[98],"solutions,":[99],"propose":[101],"reinforcement":[103],"learning-based":[104],"rephase":[105],"mechanism":[106],"dynamically":[108],"updates":[109],"and":[110,125],"resets":[111],"variable":[112],"phases.":[113],"We":[114],"integrate":[115],"into":[120],"state-of-the-art":[122],"solvers":[124,130,148],"compare":[126],"them":[127],"against":[128],"top-performing":[129],"PB":[133],"competitions,":[134],"using":[135],"benchmarks":[136],"these":[138],"competitions":[139],"assessment.":[141],"The":[142],"experimental":[143],"results":[144],"show":[145],"our":[147],"outperform":[149],"winning":[151],"competitions.":[155]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-03-18T00:00:00"}