Mayur Naik

1 paper in the IJCAI proceedings

IJCAI 2019

Synthesizing Datalog Programs using Numerical Relaxation

with Xujie Si, Mukund Raghothaman, Kihong Heo

doi:10.24963/ijcai.2019/847

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings