Not All Restarts Are Equal: MAB-Learning at the Right Time Scale for SAT.

Jinghu Liang, Sami Cherif, Chu-Min Li

Browse the full CP paper archive.