1 citations · 1 across the 1 of their papers we have counts for
1 paper
Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia
The performance of a syntax-guided synthesis algorithm is highly dependent on the provision of a good syntactic template, or grammar. Provision of such a template is often left to…