50 citations · 211 across the 25 of their papers we have counts for
1 paper · 1 filter
Kangjing Huang, Xiaokang Qiu, Qi Tian +1
Syntax-guided synthesis aims to find a program satisfying semantic specification as well as user-provided structural hypothesis. For syntax-guided synthesis there are two main sear…