@misc{indiciaeddffc4cc1855,
  title = {Synthesizing Datalog Programs Using Numerical Relaxation},
  author = {Xujie Si and Mukund Raghothaman and Kihong Heo and Mayur Naik},
  year = {2019},
  url = {https://arxiv.org/abs/1906.00163},
  note = {Source identifier: 1906.00163}
}