A Reinforcement Learning based Reset Policy for CDCL SAT Solvers

no code implementations • 4 Apr 2024 • Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, Vijay Ganesh

In most solvers, variable activities are preserved across restart boundaries, resulting in solvers continuing to search parts of the assignment tree that are not far from the one immediately prior to a restart.

reinforcement-learning Reinforcement Learning (RL) +1