TY  - RPRT
TI  - Synthesizing Datalog Programs Using Numerical Relaxation
AU  - Xujie Si
AU  - Mukund Raghothaman
AU  - Kihong Heo
AU  - Mayur Naik
PY  - 2019
UR  - https://arxiv.org/abs/1906.00163
ID  - 1906.00163
ER  -