TY  - RPRT
TI  - Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models
AU  - Bruno Rucy Carneiro Alves de Lima
AU  - Victor Henrique Cabral Pinheiro
AU  - Evgenii Dolzhkov
AU  - Joseph Haske
PY  - 2026
UR  - https://arxiv.org/abs/2608.04645
ID  - 2608.04645
ER  -