Multi-armed Bandit Algorithms for the Boolean Satisfiability Problem: A Survey.

Zhihui Xie, Xu Liu, Shuai Li

Browse the full SoCS paper archive.