{"type":"ScholarlyArticle","title":"An Efficient Core-Guided Solver for Weighted Partial MaxSAT","authors":[{"name":"Shiwei Pan","slug":"shiwei-pan","given":"Shiwei","family":"Pan","affiliation":""},{"name":"Yiyuan Wang","slug":"yiyuan-wang","given":"Yiyuan","family":"Wang","affiliation":""},{"name":"Shaowei Cai","slug":"shaowei-cai","given":"Shaowei","family":"Cai","affiliation":""}],"abstract":"The maximum satisfiability problem (MaxSAT) is a crucial combinatorial optimization problem with widespread applications across various critical domains. This paper presents CASHWMaxSAT, an efficient core-guided MaxSAT solver based on two novel ideas. \r\nThe first and most important idea is the introduction of an extended stratification technique that progressively focuses on solving high-weight soft clauses. Second, we integrate disjoint unsatisfiable cores with the goal of minimizing the unsatisfiable core, allowing the solver to learn multiple high-quality clauses in a single conflict analysis step. These innovations enable our MaxSAT solver to efficiently identify key constraints and reduce redundant reasoning, significantly enhancing solving efficiency. Experimental results on benchmarks from the complete weighted track of the MaxSAT Evaluations 2022-2024 demonstrate that the proposed methods lead to substantial improvements, with CASHWMaxSAT outperforming state-of-the-art MaxSAT solvers across all benchmarks. Additionally, it enabled us to achieve the top two positions in the exact weighted category of the MaxSAT Evaluation 2024.","doi":"10.24963/ijcai.2025/295","url":"https://ijcai.org/proceedings/2025/295","pdf":"https://ijcai.org/proceedings/2025/0295.pdf","markdown":"https://ijcai.org/proceedings/2025/295.md","bibtex":"https://ijcai.org/proceedings/2025/bibtex/295","volume":{"slug":"2025","title":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2025","url":"https://ijcai.org/proceedings/2025/","year":2025,"location":"Montreal, Canada","dates":"16-22 August 2025","editors":"James Kwok","isbn":"978-1-956792-06-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2025"},"section":"Constraint Satisfaction and Optimization","track":"Main Track","number":295,"pages":{"first":2647,"last":2656},"keywords":["Constraint Satisfaction and Optimization: CSO: Solvers and tools","Constraint Satisfaction and Optimization: CSO: Satisfiabilty"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}