Paper Citation Record · LEDGER

Toward Satisfiability Modulo Realizability

As of 12 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 1 inbound Pith citation observation for arXiv:2607.02958.

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

pith.paper-citation-record.v1
2607.02958 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-12T05:50:11.701730Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T16:34:52.960063Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

39 of 39 outbound references displayed

verified exact14
verified fuzzy0
unresolved19
parse uncertain0
malformed identifier6
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c7358cb8-15e2-4435-94d8-bfe8af84ec4c · outbound

This paper cites In: Yokoyama, K., Linton, S., Robertz, D.

Toward Satisfiability Modulo Realizability In: Yokoyama, K., Linton, S., Robertz, D

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-07-12T05:58:32.944442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9cb210cf-64e5-4971-bad1-9435c78df5ca · outbound

This paper cites an unresolved cited work.

Toward Satisfiability Modulo Realizability Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.948885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2ca89e87-021e-4200-9ce5-d2f60b42ee16 · outbound

This paper cites In: Berre, D.L., Järvisalo, M.

Toward Satisfiability Modulo Realizability In: Berre, D.L., Järvisalo, M

Reference 3

Resolution: malformed identifier; doi_truncated, observed 2026-07-12T05:58:32.953463Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation fc3d173d-ec7b-4bc3-9bf2-5877a3f3a660 · outbound

This paper cites an unresolved cited work.

Toward Satisfiability Modulo Realizability Unresolved cited work

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5489bff5-6e34-4535-9c3c-e38dc4dabda5 · outbound

This paper cites an unresolved cited work.

Toward Satisfiability Modulo Realizability Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.953769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e6234d61-ac64-474a-b3cc-ac11456abb1b · outbound

This paper cites In: Prac- tice and Experience in Advanced Research Computing 2021: Evolution Across All Dimensions.

Toward Satisfiability Modulo Realizability In: Prac- tice and Experience in Advanced Research Computing 2021: Evolution Across All Dimensions

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2efbf9b3-c85b-46f0-aa28-9d61a2538b42 · outbound

This paper cites Algorithmica5(4), 561–571 (1990), https://doi.org/10.1007/BF01840404.

Toward Satisfiability Modulo Realizability Algorithmica5(4), 561–571 (1990), https://doi.org/10.1007/BF01840404

Reference 7

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.970514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 338aa674-b5f4-4ae9-8acb-1d1053d6183c · outbound

This paper cites Discrete Comput.

Toward Satisfiability Modulo Realizability Discrete Comput

Reference 8

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.929253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6ebee198-f626-4c5d-90a4-8a0612154f8d · outbound

This paper cites Compositio Math.

Toward Satisfiability Modulo Realizability Compositio Math

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ba8115f-06b4-4828-820e-a27709945415 · outbound

This paper cites an unresolved cited work.

Toward Satisfiability Modulo Realizability Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8352c82-3c4e-4b48-ace5-426ed5357ae3 · outbound

This paper cites In: Relations betweencombinatoricsandotherpartsofmathematics(Proc.Sympos.PureMath., Ohio State Univ., Columbus, Ohio, 1978), Proc.

Toward Satisfiability Modulo Realizability In: Relations betweencombinatoricsandotherpartsofmathematics(Proc.Sympos.PureMath., Ohio State Univ., Columbus, Ohio, 1978), Proc

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d50181c1-459f-42fd-af56-283f5fb53b18 · outbound

This paper cites European J.

Toward Satisfiability Modulo Realizability European J

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf3b6a1f-373f-4e78-b0bc-cf6cd274c0c7 · outbound

This paper cites an unresolved cited work.

Toward Satisfiability Modulo Realizability Unresolved cited work

Reference 13

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.942076Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5eaba7ef-43ed-4da7-8f74-65b27718e48f · outbound

This paper cites an unresolved cited work.

Toward Satisfiability Modulo Realizability Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2363dd48-aa5c-4e65-9cf4-8dc459e424ab · outbound

This paper cites In: Schölkopf, B., Platt, J.C., Hof- mann, T.

Toward Satisfiability Modulo Realizability In: Schölkopf, B., Platt, J.C., Hof- mann, T

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa71aef2-57eb-4032-9daa-59780902f8fb · outbound

This paper cites an unresolved cited work.

Toward Satisfiability Modulo Realizability Unresolved cited work

Reference 16

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.929501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c0a6d743-7400-4aed-a8b1-0e8df9d97c7e · outbound

This paper cites Discrete Comput.

Toward Satisfiability Modulo Realizability Discrete Comput

Reference 17

Resolution: malformed identifier; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd9a911d-4ee3-4eae-82e7-77e412c9431a · outbound

This paper cites an unresolved cited work.

Toward Satisfiability Modulo Realizability Unresolved cited work

Reference 18

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.937563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation eacb2959-4c6a-4115-b2f6-4217eef69d0c · outbound

This paper cites an unresolved cited work.

Toward Satisfiability Modulo Realizability Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af323529-1aeb-4c75-9743-dc36635b973c · outbound

This paper cites In: McIlraith, S.A., Weinberger, K.Q.

Toward Satisfiability Modulo Realizability In: McIlraith, S.A., Weinberger, K.Q

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91320c16-669a-4649-8f37-5555536909f9 · outbound

This paper cites In: Creignou, N., Berre, D.L.

Toward Satisfiability Modulo Realizability In: Creignou, N., Berre, D.L

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ffccd1d-11ba-45bd-8121-b4873af140a5 · outbound

This paper cites In: Finkbeiner, B., Kovács, L.

Toward Satisfiability Modulo Realizability In: Finkbeiner, B., Kovács, L

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 509e4050-da17-4b38-be9c-0c6a752f5718 · outbound

This paper cites an unresolved cited work.

Toward Satisfiability Modulo Realizability Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb77933f-e064-4245-b436-f9d2c1f3e38e · outbound

This paper cites In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China.

Toward Satisfiability Modulo Realizability In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China

Reference 24

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.915909Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6d7b4d2d-da0c-427e-b5d5-2972c98db94c · outbound

This paper cites ACM Trans.

Toward Satisfiability Modulo Realizability ACM Trans

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9591df8d-acdb-4540-9b56-4cb47b197c7e · outbound

This paper cites an unresolved cited work.

Toward Satisfiability Modulo Realizability Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.904817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b00af2d9-d14e-47ab-b79a-aec4e2035067 · outbound

This paper cites In: Sinz, C., Egly, U.

Toward Satisfiability Modulo Realizability In: Sinz, C., Egly, U

Reference 27

Resolution: malformed identifier; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86c80da5-c088-462b-9a7b-9e7a7627b0d8 · outbound

This paper cites In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, Au- gust 3-9, 2024.

Toward Satisfiability Modulo Realizability In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, Au- gust 3-9, 2024

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a4f0735-fdb1-4842-b4b4-374a93d65475 · outbound

This paper cites In: Topology and geometry—Rohlin Seminar, Lecture Notes in Math., vol.

Toward Satisfiability Modulo Realizability In: Topology and geometry—Rohlin Seminar, Lecture Notes in Math., vol

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55151c1b-3e4d-4e9b-b256-e924e283f3b7 · outbound

This paper cites In: Sakallah, K.A., Simon, L.

Toward Satisfiability Modulo Realizability In: Sakallah, K.A., Simon, L

Reference 30

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.900494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2e319e74-d1c1-45de-a869-85eb85c60d40 · outbound

This paper cites Discrete Com- put.

Toward Satisfiability Modulo Realizability Discrete Com- put

Reference 31

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.905460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 257fc03e-0325-4994-9a46-c01df01ebdc6 · outbound

This paper cites https://github.com/jreeves3/allsat-cadical (2022).

Toward Satisfiability Modulo Realizability https://github.com/jreeves3/allsat-cadical (2022)

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97af865c-2eb0-4c02-9421-bafd6dfc2868 · outbound

This paper cites The Existential Theory of the Reals as a Complexity Class: A Compendium.

Toward Satisfiability Modulo Realizability The Existential Theory of the Reals as a Complexity Class: A Compendium

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7cda75e-5581-4c57-a985-cc239b3d6dee · outbound

This paper cites In: Applied geometry and discrete mathematics, DIMACS Ser.

Toward Satisfiability Modulo Realizability In: Applied geometry and discrete mathematics, DIMACS Ser

Reference 34

Resolution: malformed identifier; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0db50b69-af58-447b-9cda-ead2fc405e96 · outbound

This paper cites In: Sankaranarayanan, S., Sharygina, N.

Toward Satisfiability Modulo Realizability In: Sankaranarayanan, S., Sharygina, N

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97a457b5-ff8d-4c23-9c59-272d94d69d85 · outbound

This paper cites In: de Paiva, V., Koepke, P.

Toward Satisfiability Modulo Realizability In: de Paiva, V., Koepke, P

Reference 36

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.895241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation f25b0a24-efae-4ee6-8a76-ca4f4b8ca36a · outbound

This paper cites ANZIAM J.48(2), 151–164 (2006), https://doi.org/10.1017/ S144618110000300X Toward Satisfiability Modulo Realizability 19.

Toward Satisfiability Modulo Realizability ANZIAM J.48(2), 151–164 (2006), https://doi.org/10.1017/ S144618110000300X Toward Satisfiability Modulo Realizability 19

Reference 37

Resolution: malformed identifier; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47753fc6-4abf-4b0a-a759-bb4bf8ca64cf · outbound

This paper cites Lecture Notes in Computer Science, vol.

Toward Satisfiability Modulo Realizability Lecture Notes in Computer Science, vol

Reference 38

Resolution: verified exact; doi, observed 2026-07-12T05:58:32.898176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4c08ad06-46d2-4b84-be5e-7717acaa0d21 · outbound

This paper cites In: Kambhampati, S.

Toward Satisfiability Modulo Realizability In: Kambhampati, S

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-12T05:50:11.701730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 8b9080e5-ca9f-47e1-822e-befb9289fdae · inbound

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound cites this paper.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound Toward Satisfiability Modulo Realizability

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:52.960063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.