Paper Citation Record · LEDGER

Depth-Optimal Quantum Layout Synthesis as SAT

As of 8 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2506.06752.

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

pith.paper-citation-record.v1
2506.06752 v1

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T06:01:45.704937Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

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

25 of 25 outbound references displayed

verified exact3
verified fuzzy4
unresolved18
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 45da9ec7-4ab7-4112-9512-d52072e2118f · outbound

This paper cites URL: https://docs.quantum.ibm.com/api/qiskit/qiskit.circuit.library.IGate.

Depth-Optimal Quantum Layout Synthesis as SAT URL: https://docs.quantum.ibm.com/api/qiskit/qiskit.circuit.library.IGate

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:01:46.307118Z

Source-reported events for the cited work

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

Observation d63f1fb3-2e06-463b-abfd-0d21cefefa37 · outbound

This paper cites CaDiCaL , Kissat , Paracooba , Plingeling and Treengeling entering the SAT Competition 2020.

Depth-Optimal Quantum Layout Synthesis as SAT CaDiCaL , Kissat , Paracooba , Plingeling and Treengeling entering the SAT Competition 2020

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:01:46.296959Z

Source-reported events for the cited work

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

Observation 1b0bf3ba-e5ed-4ef0-b956-a8e42178885a · outbound

This paper cites Handbook of Satisfiability - Second Edition , volume 336 of Frontiers in Artificial Intelligence and Applications.

Depth-Optimal Quantum Layout Synthesis as SAT Handbook of Satisfiability - Second Edition , volume 336 of Frontiers in Artificial Intelligence and Applications

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:01:46.286453Z

Source-reported events for the cited work

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

Observation f8e5c6a7-3bcd-45a6-b889-195ee6f0ff81 · outbound

This paper cites an unresolved cited work.

Depth-Optimal Quantum Layout Synthesis as SAT Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.629489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9738d616-0637-413e-b8c3-984c5e24923b · outbound

This paper cites an unresolved cited work.

Depth-Optimal Quantum Layout Synthesis as SAT Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.633119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02d1c0cb-32ff-4e6c-b302-3ee4cf07fbe9 · outbound

This paper cites an unresolved cited work.

Depth-Optimal Quantum Layout Synthesis as SAT Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.636417Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 526f6b12-3f29-469f-a7b9-2c132ce00d6e · outbound

This paper cites Modeling and simulating the noisy behavior of near-term quantum computers.

Depth-Optimal Quantum Layout Synthesis as SAT Modeling and simulating the noisy behavior of near-term quantum computers

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.639846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c8da332-e231-488f-bc38-ecf158e100ba · outbound

This paper cites An efficient conversion of quantum circuits to a linear nearest neighbor architecture.

Depth-Optimal Quantum Layout Synthesis as SAT An efficient conversion of quantum circuits to a linear nearest neighbor architecture

Reference 8

Resolution: verified exact; doi, observed 2026-08-07T06:01:45.786742Z

Source-reported events for the cited work

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

Observation 31bf0ab0-cb7c-4216-94a2-e07bd24e0880 · outbound

This paper cites depth-optimal quantum layout synthesis as sat.

Depth-Optimal Quantum Layout Synthesis as SAT depth-optimal quantum layout synthesis as sat

Reference 9

Resolution: verified exact; doi, observed 2026-08-07T06:01:45.776148Z

Source-reported events for the cited work

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

Observation b9e54bdd-3688-482e-b14e-5edb40d1b138 · outbound

This paper cites Kautz, David A.

Depth-Optimal Quantum Layout Synthesis as SAT Kautz, David A

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:01:46.276423Z

Source-reported events for the cited work

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

Observation 11bfe3a0-18a3-4e51-8537-df49f752bab2 · outbound

This paper cites an unresolved cited work.

Depth-Optimal Quantum Layout Synthesis as SAT Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.652853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2092389-8589-4a69-96f2-4c8f3fe175e1 · outbound

This paper cites QASMBench : A low-level quantum benchmark suite for NISQ evaluation and simulation.

Depth-Optimal Quantum Layout Synthesis as SAT QASMBench : A low-level quantum benchmark suite for NISQ evaluation and simulation

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.657231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6b44cc6-f9bb-448b-9dc9-8bfc55cdf8ca · outbound

This paper cites Tackling the qubit mapping problem for nisq-era quantum devices.

Depth-Optimal Quantum Layout Synthesis as SAT Tackling the qubit mapping problem for nisq-era quantum devices

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.661063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de83548f-575a-4d02-8ba5-d30106ed4604 · outbound

This paper cites Scalable optimal layout synthesis for NISQ quantum processors.

Depth-Optimal Quantum Layout Synthesis as SAT Scalable optimal layout synthesis for NISQ quantum processors

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.667480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6c525e2-f68d-436e-a846-ae44d33bb4ba · outbound

This paper cites Conflict-driven clause learning sat solvers.

Depth-Optimal Quantum Layout Synthesis as SAT Conflict-driven clause learning sat solvers

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.670594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddec6e8a-9f9b-442a-8d77-dfd835ad0e9a · outbound

This paper cites Nielsen and Isaac L.

Depth-Optimal Quantum Layout Synthesis as SAT Nielsen and Isaac L

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.673841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a495f933-09b5-4994-afe2-9403382d61ec · outbound

This paper cites Karpuzcu.

Depth-Optimal Quantum Layout Synthesis as SAT Karpuzcu

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.677016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ae8e553-f8b4-4309-bc89-8afbb8bf1e50 · outbound

This paper cites Optimal layout synthesis for quantum circuits as classical planning.

Depth-Optimal Quantum Layout Synthesis as SAT Optimal layout synthesis for quantum circuits as classical planning

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.680057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31aedcef-1b5e-4278-a907-0833871a71af · outbound

This paper cites Optimal layout synthesis for deep quantum circuits on NISQ processors with 100+ qubits.

Depth-Optimal Quantum Layout Synthesis as SAT Optimal layout synthesis for deep quantum circuits on NISQ processors with 100+ qubits

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.683211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42a96d39-adf6-4951-8b90-beaf1fba2cf5 · outbound

This paper cites t|ket⟩: a retargetable compiler for nisq devices.

Depth-Optimal Quantum Layout Synthesis as SAT t|ket⟩: a retargetable compiler for nisq devices

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.686305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3c805c4-f850-45f3-b219-238a0608cced · outbound

This paper cites Optimality study of existing quantum computing layout synthesis tools.

Depth-Optimal Quantum Layout Synthesis as SAT Optimality study of existing quantum computing layout synthesis tools

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.692359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 506947c6-9830-4231-a9f5-a9d6ae03731a · outbound

This paper cites Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations.

Depth-Optimal Quantum Layout Synthesis as SAT Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.695160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9b3070a-c768-47e1-926d-e4c08660bf62 · outbound

This paper cites QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis.

Depth-Optimal Quantum Layout Synthesis as SAT QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.698372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24f27789-745d-4910-ad82-882bc1d6447f · outbound

This paper cites Kharkov, Yunong Shi, Marijn J.

Depth-Optimal Quantum Layout Synthesis as SAT Kharkov, Yunong Shi, Marijn J

Reference 26

Resolution: verified exact; doi, observed 2026-08-07T06:01:45.734736Z

Source-reported events for the cited work

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

Observation 7ab708f3-eafb-4fc7-a739-288c572d8727 · outbound

This paper cites An efficient methodology for mapping quantum circuits to the IBM QX architectures.

Depth-Optimal Quantum Layout Synthesis as SAT An efficient methodology for mapping quantum circuits to the IBM QX architectures

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T06:01:45.704937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.