@article{190600163,
  title = {Synthesizing Datalog Programs Using Numerical Relaxation},
  author = {Xujie Si and Mukund Raghothaman and Kihong Heo and Mayur Naik},
  year = {2019},
  eprint = {1906.00163},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1906.00163v2},
}