TY  - RPRT
TI  - Template-based Program Synthesis using Stellensätze
AU  - Amir Kafshdar Goharshady
AU  - S. Hitarth
AU  - Fatemeh Mohammadi
AU  - Harshit J Motwani
PY  - 2022
DO  - 10.1145/3586052
UR  - https://arxiv.org/abs/2209.03602
ID  - 2209.03602
ER  -