Adaptive Restarts for Stochastic Synthesis

Date

June, 2021

Authors

• Jason R. Koenig
• Oded Padon
• Alex Aiken

Type

Inproceedings

Booktitle

PLDI 2021: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation