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
January 2025
PDF DOI
Type
Conference paper
Publication
SCIENCE CHINA Information Sciences
Conf