Reinforcement Learning-Based Adaptive Reset Policy for Improving CDCL SAT Solver Performance

Reinforcement learning-based adaptive reset policies can dynamically and profitably adapt the reset frequency for any given input instance, outperforming traditional restart and fixed reset policies.