Paper Citation Record · LEDGER

Revisit Choice Network for Synthesis and Technology Mapping

As of 21 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2508.14068.

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

pith.paper-citation-record.v1
2508.14068 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T05:05:13.533462Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

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

35 of 35 outbound references displayed

verified exact1
verified fuzzy21
unresolved12
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 51f12a65-88e1-4de9-8cd0-d1c6c49aa272 · outbound

This paper cites Amar \'u , P.-E.

Revisit Choice Network for Synthesis and Technology Mapping Amar \'u , P.-E

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:18.905298Z

Source-reported events for the cited work

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

Observation b5441c09-d739-44a5-9a2c-6032cc364666 · outbound

This paper cites Amarú, P.-E.

Revisit Choice Network for Synthesis and Technology Mapping Amarú, P.-E

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:18.742387Z

Source-reported events for the cited work

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

Observation ebc096ad-73d5-4978-a3e4-60993882e4fa · outbound

This paper cites Brglez, D.

Revisit Choice Network for Synthesis and Technology Mapping Brglez, D

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:18.589862Z

Source-reported events for the cited work

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

Observation cf4fbdd3-1499-49e6-97bf-d165b7c5a21a · outbound

This paper cites an unresolved cited work.

Revisit Choice Network for Synthesis and Technology Mapping Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:05:18.412772Z

Source-reported events for the cited work

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

Observation 69b801e5-1210-4b80-97c3-54d0380b6e73 · outbound

This paper cites Chatterjee.

Revisit Choice Network for Synthesis and Technology Mapping Chatterjee

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:18.293680Z

Source-reported events for the cited work

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

Observation a11a6891-9aee-4642-bc3c-3791efc03cff · outbound

This paper cites Chatterjee, A.

Revisit Choice Network for Synthesis and Technology Mapping Chatterjee, A

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:18.110398Z

Source-reported events for the cited work

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

Observation 6149ec69-39ba-4884-a348-c4d0ef96c5d0 · outbound

This paper cites an unresolved cited work.

Revisit Choice Network for Synthesis and Technology Mapping Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:05:17.944014Z

Source-reported events for the cited work

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

Observation 988d30fb-27bb-49b8-87e8-9ee229f65039 · outbound

This paper cites an unresolved cited work.

Revisit Choice Network for Synthesis and Technology Mapping Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:05:17.766073Z

Source-reported events for the cited work

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

Observation 2e7ce10f-652c-45cb-abe0-d45fc0b2b715 · outbound

This paper cites Chen and J.

Revisit Choice Network for Synthesis and Technology Mapping Chen and J

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:17.617434Z

Source-reported events for the cited work

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

Observation bd4a3151-7491-447c-b54a-ba87b591fddc · outbound

This paper cites Cheng, S.

Revisit Choice Network for Synthesis and Technology Mapping Cheng, S

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:17.477115Z

Source-reported events for the cited work

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

Observation 2beb0529-843d-4705-b304-62bec98af7bd · outbound

This paper cites an unresolved cited work.

Revisit Choice Network for Synthesis and Technology Mapping Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:05:17.321137Z

Source-reported events for the cited work

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

Observation a90d9c3c-2664-45e9-8464-22a2b32007fa · outbound

This paper cites an unresolved cited work.

Revisit Choice Network for Synthesis and Technology Mapping Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:05:17.149046Z

Source-reported events for the cited work

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

Observation 132c3d9b-09f8-403d-8294-e6250d6f604e · outbound

This paper cites Cohen, Y.

Revisit Choice Network for Synthesis and Technology Mapping Cohen, Y

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:17.002808Z

Source-reported events for the cited work

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

Observation f4e41820-5240-486c-81a6-b1c3dc8ccb31 · outbound

This paper cites an unresolved cited work.

Revisit Choice Network for Synthesis and Technology Mapping Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:05:16.816205Z

Source-reported events for the cited work

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

Observation ddb9cde9-486f-4af7-b079-d877eac4331f · outbound

This paper cites Coward, G.

Revisit Choice Network for Synthesis and Technology Mapping Coward, G

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:16.629548Z

Source-reported events for the cited work

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

Observation f44be768-df87-45bd-bc5b-8816998961d0 · outbound

This paper cites Coward, G.

Revisit Choice Network for Synthesis and Technology Mapping Coward, G

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:16.381724Z

Source-reported events for the cited work

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

Observation b74c6649-b132-44f1-8093-c854355e68ab · outbound

This paper cites Coward, E.

Revisit Choice Network for Synthesis and Technology Mapping Coward, E

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:16.174419Z

Source-reported events for the cited work

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

Observation 9c429bcc-0380-4d3a-ab41-92487353f9fe · outbound

This paper cites an unresolved cited work.

Revisit Choice Network for Synthesis and Technology Mapping Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:05:16.001076Z

Source-reported events for the cited work

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

Observation b1e63304-a441-479e-bbc2-f8160ec1f6db · outbound

This paper cites an unresolved cited work.

Revisit Choice Network for Synthesis and Technology Mapping Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:05:15.872440Z

Source-reported events for the cited work

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

Observation 8958ae61-89d7-4d04-b7bf-b0fc888d643a · outbound

This paper cites Grosnit, M.

Revisit Choice Network for Synthesis and Technology Mapping Grosnit, M

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:15.738074Z

Source-reported events for the cited work

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

Observation 109dab5e-7c20-4e81-a40f-b4985f2c0821 · outbound

This paper cites Haaswijk, M.

Revisit Choice Network for Synthesis and Technology Mapping Haaswijk, M

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:15.551594Z

Source-reported events for the cited work

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

Observation 9d5e8e0c-9947-48eb-a214-23a0fd6b9859 · outbound

This paper cites an unresolved cited work.

Revisit Choice Network for Synthesis and Technology Mapping Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:05:15.374108Z

Source-reported events for the cited work

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

Observation d0af21ed-f8bb-4d51-b296-f6e64f2fffa7 · outbound

This paper cites Lehman, Y.

Revisit Choice Network for Synthesis and Technology Mapping Lehman, Y

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:15.227700Z

Source-reported events for the cited work

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

Observation 215818b5-7974-4f61-b3c3-80b0b5584c81 · outbound

This paper cites Mailhot and G.

Revisit Choice Network for Synthesis and Technology Mapping Mailhot and G

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:15.055865Z

Source-reported events for the cited work

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

Observation 45939701-ce60-42a9-b2c6-c8a42a2e671b · outbound

This paper cites Mishchenko and R.

Revisit Choice Network for Synthesis and Technology Mapping Mishchenko and R

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:14.894067Z

Source-reported events for the cited work

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

Observation ef4fab29-9727-4c00-b1bd-c25cf9bbccc5 · outbound

This paper cites Mishchenko, R.

Revisit Choice Network for Synthesis and Technology Mapping Mishchenko, R

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:14.727299Z

Source-reported events for the cited work

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

Observation 77d947e1-d597-4d07-8675-704db536a2d0 · outbound

This paper cites Mishchenko, S.

Revisit Choice Network for Synthesis and Technology Mapping Mishchenko, S

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:14.582754Z

Source-reported events for the cited work

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

Observation b99bf66d-f9ab-4093-8415-1c16da52fb8a · outbound

This paper cites Mishchenko, S.

Revisit Choice Network for Synthesis and Technology Mapping Mishchenko, S

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:14.398852Z

Source-reported events for the cited work

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

Observation fb30bb60-cef8-4c62-8c05-69b3d9139474 · outbound

This paper cites Ustun, I.

Revisit Choice Network for Synthesis and Technology Mapping Ustun, I

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:14.251355Z

Source-reported events for the cited work

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

Observation a155b330-3109-40bd-8988-9c4e03bef07f · outbound

This paper cites Willsey, C.

Revisit Choice Network for Synthesis and Technology Mapping Willsey, C

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T05:05:14.124511Z

Source-reported events for the cited work

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

Observation 26f1fb6b-43bf-40f4-a256-2bc26f65c60f · outbound

This paper cites an unresolved cited work.

Revisit Choice Network for Synthesis and Technology Mapping Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-06T05:05:13.977712Z

Source-reported events for the cited work

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

Observation db18602a-bbe4-4033-ba0e-7c78a072afee · outbound

This paper cites BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation.

Revisit Choice Network for Synthesis and Technology Mapping BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-08-06T05:05:13.781297Z

Source-reported events for the cited work

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

Observation b4999b53-06fa-4296-88fc-744e7b64ab9f · outbound

This paper cites , " * write output.state after.block = add.period write.

Revisit Choice Network for Synthesis and Technology Mapping , " * write output.state after.block = add.period write

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T05:05:13.375719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f76bd75-f458-4399-a111-5e6507e8add8 · outbound

This paper cites write newline.

Revisit Choice Network for Synthesis and Technology Mapping write newline

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T05:05:13.456452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5e65f3b-324f-401a-928e-e91582330768 · outbound

This paper cites E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis.

Revisit Choice Network for Synthesis and Technology Mapping E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis

Reference 35

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T05:05:13.681016Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.