Paper Citation Record · LEDGER

Answer Set Programming for Egg Extraction and More

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

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

pith.paper-citation-record.v1
2606.10644 v1

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-27T11:06:11.552951Z

measured 13 of 13 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+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

13 of 13 outbound references displayed

verified exact7
verified fuzzy0
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0a0360af-c3a6-4203-add6-91115beaf269 · outbound

This paper cites Answer Set Programming for E-Graph DAG Extraction.

Answer Set Programming for Egg Extraction and More Answer Set Programming for E-Graph DAG Extraction

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-27T11:06:11.552951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa362e4b-d8c3-48d3-9257-5dad2444fe02 · outbound

This paper cites an unresolved cited work.

Answer Set Programming for Egg Extraction and More Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-06-27T11:10:51.306417Z

Source-reported events for the cited work

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

Observation 2846109d-2e14-4c2c-9884-bd7b79305bce · outbound

This paper cites 2011 , url =.

Answer Set Programming for Egg Extraction and More 2011 , url =

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-27T11:06:11.552951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb8b70f9-497c-4170-9528-5a9e2592ceda · outbound

This paper cites 11240788.

Answer Set Programming for Egg Extraction and More 11240788

Reference 4

Resolution: metadata mismatch; arxiv_id, observed 2026-06-27T11:10:51.297808Z

Source-reported events for the cited work

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

Observation fdd610e8-e116-4e2b-804f-b0c1370a3346 · outbound

This paper cites E-Graphs as Circuits, and Optimal Extraction via Treewidth.

Answer Set Programming for Egg Extraction and More E-Graphs as Circuits, and Optimal Extraction via Treewidth

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-06-27T11:10:51.303069Z

Source-reported events for the cited work

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

Observation 1dbd372c-89e6-42bb-a36a-cf09b41cdf43 · outbound

This paper cites EGRAPHS 2023 workshop , year=.

Answer Set Programming for Egg Extraction and More EGRAPHS 2023 workshop , year=

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-27T11:06:11.552951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e35fecbb-5e6e-45e7-b820-4543287384c0 · outbound

This paper cites Unsatisfiability-based optimization in clasp , booktitle =.

Answer Set Programming for Egg Extraction and More Unsatisfiability-based optimization in clasp , booktitle =

Reference 7

Resolution: verified exact; doi, observed 2026-06-27T11:10:51.294752Z

Source-reported events for the cited work

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

Observation d6033e84-d29d-496c-803f-7e1d5f1a5d3f · outbound

This paper cites 2012 , url =.

Answer Set Programming for Egg Extraction and More 2012 , url =

Reference 8

Resolution: metadata mismatch; doi, observed 2026-06-27T11:10:51.300262Z

Source-reported events for the cited work

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

Observation 9bafc6a3-3180-4aaa-9c51-144f99a8a850 · outbound

This paper cites Kaminski, J.

Answer Set Programming for Egg Extraction and More Kaminski, J

Reference 9

Resolution: verified exact; doi, observed 2026-06-27T11:10:51.292973Z

Source-reported events for the cited work

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

Observation f679ecab-338f-40bb-af0d-799e25afe0fa · outbound

This paper cites Gebser, R.

Answer Set Programming for Egg Extraction and More Gebser, R

Reference 10

Resolution: verified exact; doi, observed 2026-06-27T11:10:51.291253Z

Source-reported events for the cited work

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

Observation 5d414695-3474-4c01-8aa7-a490a948dbf6 · outbound

This paper cites Theory Pract.

Answer Set Programming for Egg Extraction and More Theory Pract

Reference 11

Resolution: verified exact; doi, observed 2026-06-27T11:10:51.286161Z

Source-reported events for the cited work

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

Observation 61461129-c5e6-4108-8e2d-edbce7a2f5fc · outbound

This paper cites Better Together: Unifying Datalog and Equality Saturation , url =.

Answer Set Programming for Egg Extraction and More Better Together: Unifying Datalog and Equality Saturation , url =

Reference 12

Resolution: verified exact; doi, observed 2026-06-27T11:10:51.304767Z

Source-reported events for the cited work

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

Observation ef2ef87c-34e5-49b7-93f4-c6613b644867 · outbound

This paper cites Synthetiq: Fast and versatile quantum circuit synthesis,.

Answer Set Programming for Egg Extraction and More Synthetiq: Fast and versatile quantum circuit synthesis,

Reference 13

Resolution: metadata mismatch; doi, observed 2026-06-27T11:10:51.288635Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.