@misc{indiciae7ae0b4a235d2,
  title = {UNSAT Solver Synthesis via Monte Carlo Forest Search},
  author = {Chris Cameron and Jason Hartford and Taylor Lundy and Tuan Truong and Alan Milligan and Rex Chen and Kevin Leyton-Brown},
  year = {2024},
  doi = {10.1007/978-3-031-60597-0\_12},
  url = {https://arxiv.org/abs/2211.12581},
  note = {Source identifier: 2211.12581}
}