Volume: Vol-4302 Datalog-2.0 2026 | Year: 2026

Paper: « paper8 | paper9 | paper10 »

Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models

• Bruno Rucy Carneiro Alves de Lima
• Victor Henrique Cabral Pinheiro
• Evgenii Dolzhkov
• Joseph Haske

88-100 PDF 10.83095/ceurws_04302_009