2 citations · 2 across the 2 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…