Paper Citation Record · LEDGER

Towards a Certifying Grounder

As of 13 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2607.21199.

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

pith.paper-citation-record.v1
2607.21199 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T08:15:51.164004Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+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

40 of 40 outbound references displayed

verified exact20
verified fuzzy0
unresolved15
parse uncertain0
malformed identifier4
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 86e52b8c-59ed-45ea-907b-e12625f9e378 · outbound

This paper cites Gent, Christopher Jefferson, Ian Miguel & Peter Nightingale (2018): Metamorphic Testing of Constraint Solvers.

Towards a Certifying Grounder Gent, Christopher Jefferson, Ian Miguel & Peter Nightingale (2018): Metamorphic Testing of Constraint Solvers

Reference 1

Resolution: verified exact; doi, observed 2026-08-01T08:19:34.810241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 156cbeaa-bf4a-4318-83bb-cf376df66fdd · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:46.467655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d64b523e-f6c4-456a-89ff-e4d91fa563d2 · outbound

This paper cites Theory Pract.

Towards a Certifying Grounder Theory Pract

Reference 3

Resolution: verified exact; doi, observed 2026-08-01T08:19:34.733847Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 6b274ea2-2894-4aaf-8dd1-7f7943f50988 · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 4

Resolution: malformed identifier; doi_truncated, observed 2026-08-01T08:19:34.655079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation eee4b986-1689-4b1b-a243-331f4660d060 · outbound

This paper cites Barrett (2022): Flexible Proof Production in an Industrial-Strength SMT Solver.

Towards a Certifying Grounder Barrett (2022): Flexible Proof Production in an Industrial-Strength SMT Solver

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:46.670653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fe94fd7-d17f-48d0-9255-85394be4ec41 · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 6

Resolution: verified exact; doi, observed 2026-08-01T08:19:34.606383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 60aa9de8-b7ad-4b3a-8ad8-6c5f5ca7fb0b · outbound

This paper cites In Koenig et al.

Towards a Certifying Grounder In Koenig et al

Reference 7

Resolution: verified exact; doi, observed 2026-08-01T08:19:34.508412Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9b3f1a43-3c8c-4de6-886a-51836fd7339f · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:46.956624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a642ba2e-6dfb-4d0b-850f-37a920b9d467 · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:47.033274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c31a79a-0306-44ec-95fa-363e3127001a · outbound

This paper cites In Ofer Strichman & Stefan Szeider, editors:Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010.

Towards a Certifying Grounder In Ofer Strichman & Stefan Szeider, editors:Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010

Reference 10

Resolution: verified exact; doi, observed 2026-08-01T08:19:34.427366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 67392a3a-d018-4f04-8a75-8b399c5464dc · outbound

This paper cites Interactive configurator with FO(.) and IDP-Z3.

Towards a Certifying Grounder Interactive configurator with FO(.) and IDP-Z3

Reference 11

Resolution: metadata mismatch; local_arxiv, observed 2026-08-01T08:19:34.319125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2dd3acb2-bc00-47a4-a2fd-81a086216cc1 · outbound

This paper cites Cook, Thorsten Koch, Daniel E.

Towards a Certifying Grounder Cook, Thorsten Koch, Daniel E

Reference 12

Resolution: verified exact; doi, observed 2026-08-01T08:19:34.199855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5a41ded4-2bb2-4627-9ffa-29f5a3ffaee0 · outbound

This paper cites In Pascal Fontaine & Aaron Stump, editors: PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011 , pp.

Towards a Certifying Grounder In Pascal Fontaine & Aaron Stump, editors: PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011 , pp

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:47.349975Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd1c85bd-b7ad-47f1-93bb-abfa7bd38175 · outbound

This paper cites In Laura Barbulescu, Jeremy Frank, Mausam & Stephen F.

Towards a Certifying Grounder In Laura Barbulescu, Jeremy Frank, Mausam & Stephen F

Reference 14

Resolution: verified exact; doi, observed 2026-08-01T08:19:34.140327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ef22a60c-326d-40ed-98db-727cf11970b6 · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:47.532092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93d1bd8d-97d8-4a9d-86c7-c3bc749be276 · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:47.596388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dabbd1ca-6530-428b-a97b-9ec346de23dc · outbound

This paper cites In Chitta Baral, Gerhard Brewka & John S.

Towards a Certifying Grounder In Chitta Baral, Gerhard Brewka & John S

Reference 17

Resolution: verified exact; doi, observed 2026-08-01T08:19:33.992567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 4926d5d7-43d7-491e-a847-627403844091 · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 18

Resolution: verified exact; doi, observed 2026-08-01T08:19:33.876900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2e59d949-faf0-4bff-b668-e8f0bf3036ba · outbound

This paper cites In Kuldeep S.

Towards a Certifying Grounder In Kuldeep S

Reference 19

Resolution: verified exact; doi, observed 2026-08-01T08:19:33.773364Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e2544b98-4f48-4e32-9a31-0d4e40a07adb · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:48.066616Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a727a764-6d88-4258-8197-67af235589f2 · outbound

This paper cites Hunt, Jr.

Towards a Certifying Grounder Hunt, Jr

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:48.208571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcff6aac-c7dc-4671-bf9c-a87418091683 · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 22

Resolution: malformed identifier; no resolver link, observed 2026-08-01T08:15:48.448700Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc29b9e4-4ac5-4c3d-80ae-2efbac7791d9 · outbound

This paper cites Hitarth, Cayden R.

Towards a Certifying Grounder Hitarth, Cayden R

Reference 23

Resolution: verified exact; doi, observed 2026-08-01T08:19:33.696959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 25982356-18d7-4c1f-b32d-e0d93b2400e8 · outbound

This paper cites Myreen & Jakob Nordström (2024): Certified MaxSAT Preprocessing.

Towards a Certifying Grounder Myreen & Jakob Nordström (2024): Certified MaxSAT Preprocessing

Reference 24

Resolution: verified exact; doi, observed 2026-08-01T08:19:33.591493Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e6ce3bb2-bf34-4a2a-ba42-ccd8425fd767 · outbound

This paper cites In Koenig et al.

Towards a Certifying Grounder In Koenig et al

Reference 25

Resolution: verified exact; doi, observed 2026-08-01T08:19:33.490351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 117f6aac-f869-48e2-a1a7-8c3ce6420840 · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:49.120088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fedc6d8-6ac3-41b4-8bb8-86102604a6de · outbound

This paper cites In Bernhard Gramlich, Dale Miller & Uli Sattler, editors: Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manch- ester, UK, June 26-29, 2012.

Towards a Certifying Grounder In Bernhard Gramlich, Dale Miller & Uli Sattler, editors: Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manch- ester, UK, June 26-29, 2012

Reference 27

Resolution: verified exact; doi, observed 2026-08-01T08:19:33.331647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 6d9a0db6-bb51-4364-80a4-fbdfa7b267f9 · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:49.429103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f217f05-8f0d-465c-b068-f3d8fdb4590d · outbound

This paper cites Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan & Marc Vinyals (2025): Practically Feasible Proof Logging for Pseudo-Boolean Optimization.

Towards a Certifying Grounder Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan & Marc Vinyals (2025): Practically Feasible Proof Logging for Pseudo-Boolean Optimization

Reference 29

Resolution: verified exact; doi, observed 2026-08-01T08:19:33.166191Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 82c75633-35c2-4047-b97c-07fd729b0cdc · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-08-01T08:19:32.965293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b0af1e25-0fdd-4eb2-bc97-3f9951becd60 · outbound

This paper cites Manlove & Gregg O’Malley (2014): Paired and Altruistic Kidney Donation in the UK: Algorithms and Experimentation.

Towards a Certifying Grounder Manlove & Gregg O’Malley (2014): Paired and Altruistic Kidney Donation in the UK: Algorithms and Experimentation

Reference 31

Resolution: verified exact; doi, observed 2026-08-01T08:19:32.687684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 97d6c560-26b5-4b84-a51c-98b08e4bf568 · outbound

This paper cites McConnell, Kurt Mehlhorn, Stefan Näher & Pascal Schweitzer (2011): Certifying algorithms.

Towards a Certifying Grounder McConnell, Kurt Mehlhorn, Stefan Näher & Pascal Schweitzer (2011): Certifying algorithms

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:49.971811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 863b9727-ba59-493c-9d87-1ea92ecf4c93 · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:50.095019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e93c685f-c1f6-4eef-93e0-5179f2f6ae82 · outbound

This paper cites Mitchell & Eugenia Ternovska (2005): A Framework for Representing and Solving NP Search Problems.

Towards a Certifying Grounder Mitchell & Eugenia Ternovska (2005): A Framework for Representing and Solving NP Search Problems

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:50.241893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 869d90cc-3f09-4af8-94a4-90070f336b69 · outbound

This paper cites Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson & Matthew Barry (2001): An A-Prolog Decision Support System for the Space Shuttle.

Towards a Certifying Grounder Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson & Matthew Barry (2001): An A-Prolog Decision Support System for the Space Shuttle

Reference 35

Resolution: malformed identifier; no resolver link, observed 2026-08-01T08:15:50.392815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b8dfbf4-356e-4ace-aa00-07e5418302a3 · outbound

This paper cites Barrett & Cesare Tinelli (2022): Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language.

Towards a Certifying Grounder Barrett & Cesare Tinelli (2022): Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language

Reference 36

Resolution: malformed identifier; doi_truncated, observed 2026-08-01T08:19:32.348103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation facd5bd2-20aa-413f-8fc5-82a1fe4ea9c1 · outbound

This paper cites Technical Report B18, Helsinki University of Technology, Finland.

Towards a Certifying Grounder Technical Report B18, Helsinki University of Technology, Finland

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:50.728486Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e85aa06-1298-47f5-b998-6196a8ed2590 · outbound

This paper cites In Koenig et al.

Towards a Certifying Grounder In Koenig et al

Reference 38

Resolution: verified exact; doi, observed 2026-08-01T08:19:32.111349Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 652f80a1-0831-4c6b-baa6-46d541ef2d49 · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 39

Resolution: verified exact; doi, observed 2026-08-01T08:19:32.037906Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 492656a3-9fa4-4009-9bbb-05fdaacc252c · outbound

This paper cites an unresolved cited work.

Towards a Certifying Grounder Unresolved cited work

Reference 40

Resolution: verified exact; doi, observed 2026-08-01T08:19:31.932088Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Pith citing papers

No inbound Pith citation observations are available.