Paper Citation Record · LEDGER

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking

As of 22 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2607.07164.

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

pith.paper-citation-record.v1
2607.07164 v1

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-09T18:43:56.800134Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

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

41 of 41 outbound references displayed

verified exact7
verified fuzzy3
unresolved28
parse uncertain0
malformed identifier2
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7ea571d8-05c2-4769-bec5-98ba5834ac49 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 1

Resolution: malformed identifier; raw_fallback, observed 2026-07-09T18:46:26.778776Z

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 e596c1b8-cf64-4635-90ae-1c8b8c7de314 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.773735Z

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 10f34770-2f0d-4673-aed4-2d379fb5f8e0 · outbound

This paper cites In: Proc.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking In: Proc

Reference 4

Resolution: verified exact; doi, observed 2026-07-09T18:46:26.472713Z

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 662695c9-e7b7-4f1b-9cbc-eeef710f564d · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.775273Z

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 0920211a-0997-4aad-8d8d-216846704091 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.801611Z

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 da0076ad-a51e-48d1-9c19-fad1ea572146 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.798419Z

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 e8d227f4-8066-4923-a586-5c6cdf5d6498 · outbound

This paper cites Brayton and Alan Mishchenko.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Brayton and Alan Mishchenko

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T18:46:26.800065Z

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 7c116614-9ad3-4084-91ef-9ae31115c375 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-07-09T18:46:26.463325Z

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 9ee32881-2008-4133-a94f-e5bfd94a36aa · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.819154Z

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 2676f677-b345-4ddc-a2d1-ed5aef0e5ed5 · outbound

This paper cites Davidson.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Davidson

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-07-09T18:46:26.467014Z

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 996fb02b-388b-40e9-8a88-52aadf6cd8bf · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.806646Z

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 8a2a521a-da37-48a8-a01d-cffbd1ad6708 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.805040Z

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 7844c94a-e335-4afa-9fea-278a8371c0f4 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.815416Z

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 ac8b4ca3-7638-487f-90a6-9910046f3e36 · outbound

This paper cites DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories

Reference 15

Resolution: metadata mismatch; local_arxiv, observed 2026-07-09T18:46:26.495820Z

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 b4ab046f-8738-4efc-8a23-a566aaa0ae6f · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.810364Z

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 0cd836c4-c160-43ec-a938-32cdade43983 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.802003Z

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 b81c9cc3-327c-4250-b47d-8ac9491f3616 · outbound

This paper cites 2012.Formal equivalence checking and design debugging.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking 2012.Formal equivalence checking and design debugging

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T18:46:26.770556Z

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 499cb2ee-0d12-4a45-bf42-78c932e670fc · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 19

Resolution: malformed identifier; doi_truncated, observed 2026-07-09T18:46:26.469339Z

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 4c35c002-721f-4586-ac98-aa7d38484119 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.804887Z

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 34b42d9b-5126-42c9-805f-5f3966c0bdc0 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.787862Z

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 ec20bc97-15c1-46ba-a284-3b35366ed098 · outbound

This paper cites IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-07-09T18:46:26.501724Z

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 68f77fcb-c291-40c6-96ef-e3b8a52dadae · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.803471Z

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 a9b60f2d-aea6-4b41-b785-11311bf30da4 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.808574Z

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 aa202031-1f8f-4bd7-8147-4b847402a0b3 · outbound

This paper cites McCluskey.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking McCluskey

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T18:46:26.817300Z

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 5c650005-ca34-4645-96a4-f22271c9428f · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.790522Z

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 ae9e80b5-6bdb-4a55-b672-0fabca316595 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.792098Z

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 95c2b1c0-e655-470c-b69e-9b8d7ab7e505 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.793696Z

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 44c18806-43fe-4482-97e2-b07e2157130e · outbound

This paper cites 2006.Bayesian Approach to Global Optimization.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking 2006.Bayesian Approach to Global Optimization

Reference 29

Resolution: verified exact; doi, observed 2026-07-09T18:46:26.472221Z

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 6f5aa12c-62b4-437d-af45-8bd17b0b8184 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.785505Z

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 3fcfbbc4-4861-4bc4-85e8-95e68d290ab7 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.787201Z

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 d936c681-66c6-403b-b662-c62fae8e23bc · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.782218Z

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 c3c3ef64-8638-432c-aa15-0ebfc13f1a1b · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.813648Z

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 7f5b0f7c-944f-4e0c-87e6-6f8e249ff8c4 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.798829Z

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 0bff9245-0558-4942-8e47-38e1194eb8aa · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.783736Z

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 064f91f9-b11e-47c6-9406-c4927661b6ff · outbound

This paper cites ForgeEDA: A Comprehensive Multimodal Dataset for Advancing EDA.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking ForgeEDA: A Comprehensive Multimodal Dataset for Advancing EDA

Reference 36

Resolution: verified exact; local_arxiv, observed 2026-07-09T18:46:26.498954Z

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 4630928a-c9e1-46c6-83ca-447abd53755f · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.772260Z

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 7a48e455-9b0e-4855-a757-110bf73e0fd5 · outbound

This paper cites The EPFL Logic Synthesis Libraries.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking The EPFL Logic Synthesis Libraries

Reference 38

Resolution: verified exact; local_arxiv, observed 2026-07-09T18:46:26.498796Z

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 d88a12fb-c9a8-4a08-b0bc-2eca747670b6 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.770716Z

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 fcacbbb0-be90-4112-87e7-d69b8faa4e91 · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.806531Z

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 b915d655-d3db-4584-b008-34fa74c2818d · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.811898Z

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 e58960af-57db-4727-bbad-a45ecb27f9de · outbound

This paper cites an unresolved cited work.

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-07-09T18:46:26.780612Z

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.