Paper Citation Record · LEDGER

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

As of 9 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2608.04645.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.04645 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:06:18.757665Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

32 of 32 outbound references displayed

verified exact6
verified fuzzy5
unresolved18
parse uncertain0
malformed identifier1
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 509b55ce-3c6b-429b-ac9b-889db234ba16 · outbound

This paper cites Kadowaki, H.

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

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:16.014274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eebdeb5e-bc8a-4ac5-a1a7-e744c7d50c1e · outbound

This paper cites an unresolved cited work.

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

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:16.154961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72ab824b-eecb-422a-9ada-9cd16dd5f799 · outbound

This paper cites Colmerauer, P.

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

Reference 3

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T20:06:19.416653Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a9266e48-d194-41d4-9515-09849e30846c · outbound

This paper cites Ising, Beitrag zur theorie des ferromagnetismus, Zeitschrift für Physik 31 (1925) 253–258.

Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models Ising, Beitrag zur theorie des ferromagnetismus, Zeitschrift für Physik 31 (1925) 253–258

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:16.338767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2dc3a9d4-3133-44e2-bfa5-43c09c08e63c · outbound

This paper cites Pakin, Performing fully parallel constraint logic programming on a quantum annealer, Theory and Practice of Logic Programming 18 (2018) 928–949.

Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models Pakin, Performing fully parallel constraint logic programming on a quantum annealer, Theory and Practice of Logic Programming 18 (2018) 928–949

Reference 5

Resolution: verified exact; doi, observed 2026-08-06T20:06:18.875539Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6f111fa6-5520-4887-bca6-8624a0e938bc · outbound

This paper cites an unresolved cited work.

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

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:16.523236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a38885cc-b864-42f8-ba5d-7187c10e86a2 · outbound

This paper cites an unresolved cited work.

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

Reference 7

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T20:06:19.327357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 05f78ad8-e308-4c0f-9385-7129090a11db · outbound

This paper cites de Moura, S.

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

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:16.822797Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f99f2271-4e7f-4a22-af6e-7cab80a6c654 · outbound

This paper cites Pinkas, Symmetric neural networks and propositional logic satisfiability, Neural Computation 3 (1991) 282–291.

Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models Pinkas, Symmetric neural networks and propositional logic satisfiability, Neural Computation 3 (1991) 282–291

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:06:19.514109Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f97b4dd5-f95e-4861-8998-e952b86596fe · outbound

This paper cites an unresolved cited work.

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

Reference 10

Resolution: verified exact; doi, observed 2026-08-06T20:06:18.853708Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a633f705-0697-4d14-a6fc-5ee4479c196d · outbound

This paper cites Lucas, Ising formulations of many NP problems, Frontiers in Physics 2 (2014) 5.

Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models Lucas, Ising formulations of many NP problems, Frontiers in Physics 2 (2014) 5

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:17.242846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ca381c1-8aa1-4052-b83d-8a5606df4208 · outbound

This paper cites an unresolved cited work.

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

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:17.376063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f607838a-9497-4695-90c9-03ff96be32ce · outbound

This paper cites Gelfond, V.

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

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:06:19.501589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8a34be21-d6bf-47c7-8756-3d2210bd155e · outbound

This paper cites an unresolved cited work.

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

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:17.608024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da20bc28-6b07-4d90-8626-08b850bd33a7 · outbound

This paper cites Romanello, D.

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

Reference 15

Resolution: verified exact; doi, observed 2026-08-06T20:06:18.838864Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1c417d15-27ef-418b-98e8-28e7dc9232c9 · outbound

This paper cites Ben-Eliyahu, R.

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

Reference 16

Resolution: verified exact; doi, observed 2026-08-06T20:06:18.829664Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 599edd02-bab5-4f26-a3c1-281a61665379 · outbound

This paper cites Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics 5 (1955) 285–309.

Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics 5 (1955) 285–309

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:06:19.491138Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ec45875f-c0f3-4099-92f6-d9f7f10cff9c · outbound

This paper cites Abiteboul, R.

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

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:06:19.480290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0b7fef01-2610-4758-abee-c33e345b973c · outbound

This paper cites Next-Generation Topology of D-Wave Quantum Processors.

Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models Next-Generation Topology of D-Wave Quantum Processors

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:18.204076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff0faebf-9054-4bcd-b0c1-f5caf9be4f71 · outbound

This paper cites Boothby, A.

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

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:06:19.468963Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 27f0c633-469f-44e6-a0e3-5bb665c06b1a · outbound

This paper cites Choi, Minor-embedding in adiabatic quantum computation: I.

Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models Choi, Minor-embedding in adiabatic quantum computation: I

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:18.487001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cf691cf-78d4-485f-87b2-52af0e1ea503 · outbound

This paper cites an unresolved cited work.

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

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:18.652982Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e772bc58-377d-44c0-a40a-c18ff5ba8370 · outbound

This paper cites Bancilhon, D.

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

Reference 23

Resolution: verified exact; raw_fallback, observed 2026-08-06T20:06:19.036118Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 772bb51a-9af5-460e-a680-645f4204abbf · outbound

This paper cites Khanna, M.

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

Reference 24

Resolution: verified exact; doi, observed 2026-08-06T20:06:18.813247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 39b8305c-a635-42e8-95b5-ea3a7e5a0ec8 · outbound

This paper cites an unresolved cited work.

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

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:18.737217Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66f1dab9-0e84-4a95-895f-0bc4229f61f5 · outbound

This paper cites an unresolved cited work.

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

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-06T20:06:19.457146Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 38e56b5c-83b4-42b5-a1ef-8183af65c8e4 · outbound

This paper cites an unresolved cited work.

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

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:18.743069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46e01043-d355-4a20-9b05-4be0b97db520 · outbound

This paper cites an unresolved cited work.

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

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:18.746413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab433204-a34b-45a8-84f3-91f2a4902ea3 · outbound

This paper cites Van Gelder, K.

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

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T20:06:18.749205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af5c2eb9-f616-4c01-90eb-ae29294a2c9d · outbound

This paper cites an unresolved cited work.

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

Reference 30

Resolution: malformed identifier; no resolver link, observed 2026-08-06T20:06:18.752044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8ffc2ae-8d9e-49f2-96d3-fda4169fa614 · outbound

This paper cites an unresolved cited work.

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

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-06T20:06:19.443947Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8c5bc2f3-50c2-466d-8f6f-4fcce01b9dae · outbound

This paper cites an unresolved cited work.

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

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-06T20:06:19.429298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

No inbound Pith citation observations are available.