TY  - RPRT
TI  - Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers
AU  - Jiongzhi Zheng
AU  - Kun He
AU  - Jianrong Zhou
PY  - 2022
UR  - https://arxiv.org/abs/2108.09988
ID  - 2108.09988
ER  -