Priyanka Golia

Indian Institute of Technology Kanpur; National University of Singapore

1 paper in the IJCAI proceedings

IJCAI 2021

Program Synthesis as Dependency Quantified Formula Modulo Theory

with Subhajit Roy, Kuldeep S. Meel

doi:10.24963/ijcai.2021/261

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings