1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Tilman Hinnerichs, Bart Swinkels, Jaap de Jong +4
A core challenge in program synthesis is taming the large space of possible programs. Since program synthesis is essentially a combinatorial search, the community has sought to lev…