Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T05:05:13.533462Z
Paper Citation Record · LEDGER
Revisit Choice Network for Synthesis and Technology Mapping
As of 22 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+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-22T06:32:14.747728+00:00.
Pith citing papers
No inbound Pith citation observations are available.