TY  - RPRT
TI  - UNSAT Solver Synthesis via Monte Carlo Forest Search
AU  - Chris Cameron
AU  - Jason Hartford
AU  - Taylor Lundy
AU  - Tuan Truong
AU  - Alan Milligan
AU  - Rex Chen
AU  - Kevin Leyton-Brown
PY  - 2024
DO  - 10.1007/978-3-031-60597-0_12
UR  - https://arxiv.org/abs/2211.12581
ID  - 2211.12581
ER  -