Synthesizing Datalog Programs using Numerical Relaxation.

Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik

Browse the full IJCAI paper archive.