Login / Signup
Stef Rasing
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Search Strategy
Program Synthesis
Top Venues
CoRR
</>
Publications
</>
Jonas Witt
,
Stef Rasing
,
Sebastijan Dumancic
,
Tias Guns
,
Claus-Christian Carbon
A Divide-Align-Conquer Strategy for Program Synthesis.
CoRR
(2023)