1 paper · 1 filter
Zewei Zhang, Huan Liu, Yuanhao Yu +2
We propose ImitSAT, a branching policy for conflict-driven clause learning (CDCL) solvers based on imitation learning for the Boolean satisfiability problem (SAT). Unlike previous…