Adaptive restarts for stochastic synthesis.

Jason R. Koenig, Oded Padon, Alex Aiken

Browse the full PLDI paper archive.