Pith. sign in

Paper Citation Record · LEDGER

Simulating Quantum Circuits by Model Counting

As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 2 inbound Pith citation observations for arXiv:2403.07197.

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

pith.paper-citation-record.v1
2403.07197 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 2 of 2 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-04T20:57:40.364138Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-11T23:21:58.121347Z

Reference resolution

0 of 0 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved0
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation a10c162a-9ab0-42d0-a086-9422a098b524 · inbound

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams cites this paper.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Simulating Quantum Circuits by Model Counting

Reference 37

Resolution
unresolved
no resolver link, observed 2026-08-04T20:57:40.364138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T20:57:40.364138Z digest=sha256:d136bc59e083fb10ac658d0a6fb801bb2542f3063abe02913f7eec97c9ffe33a

Observation 8d085dba-6caa-4978-9905-b04fc1026937 · inbound

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting cites this paper.

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting Simulating Quantum Circuits by Model Counting

Reference 30

Resolution
verified exact
arxiv_id, observed 2026-05-11T23:21:58.176749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-07T17:08:35.362584Z digest=sha256:f8d193acacf11f5317fccf8bff4d5d5f7caab4aa06a6c9251cd76c564c71c3a4