Monte Carlo Forest Search: UNSAT Solver Synthesis via Reinforcement learning (Publication)

Citation

Cameron, Chris, Jason Hartford, Taylor Lundy, Tuan Truong, Alan Milligan, Rex Chen, and Kevin Leyton-Brown. "Monte Carlo Forest Search: UNSAT Solver Synthesis via Reinforcement learning." arXiv preprint arXiv:2211.12581 (2022).

Publication Date

Nov. 22, 2022

Publication Type

Other