Picture for Zhengyang

Zhengyang

John

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers

Add code
Apr 04, 2024
Viaarxiv icon