Optimizing local search-based partial MaxSAT solving via initial assignment prediction

Chanjuan Liu, Guangyuan Liu, Chuan Luo, Shaowei Cai, Zhendong Lei, Wenjie Zhang, Yi Chu, Guojing Zhang
一月 2025
PDF DOI
类型
会议文章
出版物
SCIENCE CHINA Information Sciences
Conf