Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme

Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai
一月 2024
PDF DOI
类型
会议文章
出版物
27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024
Conf