Paper Citation Record · LEDGER

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

As of 12 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2412.14933.

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

pith.paper-citation-record.v1
2412.14933 v1

Coverage vector

measured 20 of 20 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T11:49:42.072477Z

measured 20 of 20 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 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

20 of 20 outbound references displayed

verified exact0
verified fuzzy8
unresolved12
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e2a24ca3-2c04-4aef-b9be-336f673eb068 · outbound

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

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis , " * write output.state after.block = add.period write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T11:49:41.972486Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72f46bd3-b625-4773-8e03-f10b4fe73b77 · outbound

This paper cites write newline.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis write newline

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T11:49:41.978524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bddc0b3d-d77b-42db-bddf-b358544c1c5d · outbound

This paper cites an unresolved cited work.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:49:42.377916Z

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 88ac6e9e-920a-422e-904f-e0c7f44d3585 · outbound

This paper cites an unresolved cited work.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:49:42.361855Z

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 399e7932-d09f-47d2-ab0c-71591929a74c · outbound

This paper cites K.; and Mishchenko, A.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis K.; and Mishchenko, A

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:49:42.346942Z

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 94da916b-b75a-447e-9506-a4011ff83b3c · outbound

This paper cites S.; and Yaroslavtsev, G.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis S.; and Yaroslavtsev, G

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:49:42.328056Z

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 c4eca1bc-b99a-489c-956a-f432c87a03b6 · outbound

This paper cites G.; Golovnev, A.; Hirsch, E.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis G.; Golovnev, A.; Hirsch, E

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:49:42.313979Z

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 ad185887-f2a6-4896-a4fa-089ec8a64da7 · outbound

This paper cites G.; Golovnev, A.; Hirsch, E.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis G.; Golovnev, A.; Hirsch, E

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:49:42.298380Z

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 1094299d-bcf9-45de-8fc9-10c2ddf3615d · outbound

This paper cites an unresolved cited work.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:49:42.284496Z

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 15c17131-8e9f-4fca-9d99-5f812ce22bbb · outbound

This paper cites an unresolved cited work.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:49:42.269371Z

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 1479c192-e550-440c-802d-87da974578eb · outbound

This paper cites A.; and Ofman, Y.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis A.; and Ofman, Y

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:49:42.254065Z

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 badc0280-ac60-46dd-a4ad-3f9a21116d95 · outbound

This paper cites S.; and Yaroslavtsev, G.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis S.; and Yaroslavtsev, G

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:49:42.239515Z

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 4ea19bed-9cd3-41b4-98ab-d9e15b359fb6 · outbound

This paper cites S.; Pechenev, D.; and Slezkin, N.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis S.; Pechenev, D.; and Slezkin, N

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:49:42.223631Z

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 ad427f0d-ad5c-4fa9-9c3c-bbb83c334895 · outbound

This paper cites an unresolved cited work.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:49:42.209723Z

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 43aa9964-a114-415e-84b7-323ee34c78ee · outbound

This paper cites an unresolved cited work.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:49:42.192061Z

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 fea8a6a5-0de1-464c-9841-8ade6a86cd2c · outbound

This paper cites an unresolved cited work.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:49:42.176687Z

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 aa4fde77-7dae-45c5-abd2-509846fbee46 · outbound

This paper cites an unresolved cited work.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:49:42.162816Z

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 1dcfad23-857f-4ea6-b1d1-7021c85c5ae4 · outbound

This paper cites The EPFL Logic Synthesis Libraries.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis The EPFL Logic Synthesis Libraries

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-11T11:49:42.061774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93bdb49f-e394-4a2a-9a6d-58717227539f · outbound

This paper cites an unresolved cited work.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:49:42.148764Z

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 8776d092-43be-4c24-8ec2-6afc4f55d358 · outbound

This paper cites J.; and Blott, M.

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis J.; and Blott, M

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:49:42.132816Z

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.

Pith citing papers

No inbound Pith citation observations are available.