UNSAT Solver Synthesis via Monte Carlo Forest Search.

Chris Cameron, Jason S. Hartford, Taylor Lundy, Tuan Truong, Alan Milligan, Rex Chen, Kevin Leyton-Brown

Browse the full CPAIOR paper archive.