BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit.

Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Many

Browse the full IJCAI paper archive.