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

Jiongzhi Zheng, Kun He, Jianrong Zhou

Browse the full AAAI paper archive.