UNSAT Solver Synthesis via Monte Carlo Forest Search.
Chris CameronJason S. HartfordTaylor LundyTuan TruongAlan MilliganRex ChenKevin Leyton-BrownPublished in: CPAIOR (1) (2024)
Keyphrases
- monte carlo
- game tree search
- monte carlo simulation
- markov chain
- tree search
- monte carlo methods
- simulation study
- importance sampling
- adaptive sampling
- monte carlo tree search
- point processes
- matrix inversion
- variance reduction
- temporal difference
- markovian decision
- monte carlo method
- game tree
- search space
- particle filter
- search algorithm
- optimal strategy
- genetic algorithm
- search strategies
- orders of magnitude
- lower bound