@misc{indiciae6a942a0b4988,
  title = {Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models},
  author = {Bruno Rucy Carneiro Alves de Lima and Victor Henrique Cabral Pinheiro and Evgenii Dolzhkov and Joseph Haske},
  year = {2026},
  url = {https://arxiv.org/abs/2608.04645},
  note = {Source identifier: 2608.04645}
}