107 citations · 1k across the 45 of their papers we have counts for
1 paper · 2 filters
Rajeev Alur, Dana Fisman, Saswat Padhi +2
Syntax-guided synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula ϕ in a background t…