Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers

Jiongzhi Zheng, Kun He, Jianrong Zhou

Local search has been demonstrated as an efficient approach for two practical generalizations of the MaxSAT problem, namely Partial MaxSAT (PMS) and Weighted PMS (WPMS). In this wo…