NeuroSelect: Learning to Select Clauses in SAT Solvers.

Hongduo Liu, Peng Xu, Yuan Pu, Lihao Yin, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu

Browse the full DAC paper archive.