@misc{indiciaeb800f1826df8,
  title = {Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning},
  author = {Ziyan Luo and Xujie Si},
  year = {2024},
  url = {https://arxiv.org/abs/2305.01206},
  note = {Source identifier: 2305.01206}
}