A Reinforcement Learning based Reset Policy for CDCL SAT Solvers

Chunxiao Li, Charlie Liu, Jonathan Chung +3

Restart policy is an important technique used in modern Conflict-Driven Clause Learning (CDCL) solvers, wherein some parts of the solver state are erased at certain intervals durin…