Paper Citation Record · LEDGER

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs

As of 13 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2411.16348.

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

pith.paper-citation-record.v1
2411.16348 v2

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T13:22:31.225141Z

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

33 of 33 outbound references displayed

verified exact5
verified fuzzy7
unresolved15
parse uncertain0
malformed identifier3
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 08c9115e-93ad-445b-a009-7636c53393a7 · outbound

This paper cites http://www.eecs.berkeley.edu/~alanmi/abc/ (2019), bitbucket Version 1.01.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs http://www.eecs.berkeley.edu/~alanmi/abc/ (2019), bitbucket Version 1.01

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:22:33.174163Z

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 5700b7c5-83f3-444f-971b-1471eca17685 · outbound

This paper cites In: ISSAC.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: ISSAC

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:30.983594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fae391d9-e265-4e8e-b6f8-c45d885b696b · outbound

This paper cites In: ISSAC.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: ISSAC

Reference 3

Resolution: malformed identifier; no resolver link, observed 2026-08-12T13:22:30.991240Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e2d6824-629f-491c-af6e-4cb540e23851 · outbound

This paper cites In: SAT Competition 2016.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: SAT Competition 2016

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:22:33.151934Z

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 130afcce-0534-4318-a84f-753c768c671c · outbound

This paper cites an unresolved cited work.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:22:33.129213Z

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 59c37cf8-c242-443d-8527-c60d20e75be8 · outbound

This paper cites Scholarpedia5(10), 7763 (2010), http: //www.scholarpedia.org/article/Groebner_basis.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Scholarpedia5(10), 7763 (2010), http: //www.scholarpedia.org/article/Groebner_basis

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:22:33.108084Z

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 04c5fe2a-aab9-4cfb-b0e3-1328dd64d2a5 · outbound

This paper cites an unresolved cited work.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Unresolved cited work

Reference 7

Resolution: verified exact; doi, observed 2026-08-12T13:22:31.497444Z

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 446015b1-82c1-4997-b833-15f803de465d · outbound

This paper cites Springer-Verlag New York (1997).

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Springer-Verlag New York (1997)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:22:33.087548Z

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 04246cb1-ca9c-48bf-a3a5-12b545b47e75 · outbound

This paper cites Journal of Pure and Applied Algebra 139(1), 61–88 (1999).

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Journal of Pure and Applied Algebra 139(1), 61–88 (1999)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:22:33.056038Z

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 2167993f-8f24-4b7f-8978-a130077e39f9 · outbound

This paper cites https://doi.org/10.1145/2608628.2608669.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs https://doi.org/10.1145/2608628.2608669

Reference 10

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:22:32.657431Z

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 76b83a1d-2645-41ae-b7c6-409b42856f50 · outbound

This paper cites an unresolved cited work.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:31.065894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a6a209d-4a20-495d-904f-3a6107e936a6 · outbound

This paper cites Journal of Symbolic Compu- tation 80(3), 538–569 (2017).

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Journal of Symbolic Compu- tation 80(3), 538–569 (2017)

Reference 12

Resolution: verified exact; doi, observed 2026-08-12T13:22:31.475953Z

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 4f399d33-be79-42e3-a1e8-6f9212464bc7 · outbound

This paper cites IEICE Trans.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs IEICE Trans

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:22:33.026826Z

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 3b29fa7d-8a31-463b-854f-2d78316bab6a · outbound

This paper cites an unresolved cited work.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:22:33.004218Z

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 25d7e0ca-2015-4e43-833d-c3960f1769de · outbound

This paper cites In: DATE.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: DATE

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:31.098922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c634ffa-2b7d-40ad-8a0e-70489cc253b9 · outbound

This paper cites https://doi.org/10.5281/zenodo.14609934.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs https://doi.org/10.5281/zenodo.14609934

Reference 16

Resolution: verified exact; doi, observed 2026-08-12T13:22:31.445555Z

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 d38f6c54-ad17-4fe0-a4d7-2e0d973d74af · outbound

This paper cites In: TACAS (2).

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: TACAS (2)

Reference 17

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T13:22:32.980758Z

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 93ca32de-f91e-4eab-8f6d-9f40a8174a4e · outbound

This paper cites In: FMCAD 2019.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: FMCAD 2019

Reference 18

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:22:32.373858Z

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 c7fbbce5-37a9-4738-b1da-6a5752565189 · outbound

This paper cites Formal Methods Syst.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Formal Methods Syst

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:31.126635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fa3833e-0740-413c-8cfe-fa6ad1f84d2e · outbound

This paper cites Formal Methods Syst.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Formal Methods Syst

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:22:32.948652Z

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 76d750cd-181c-4498-9aa3-21834fd98639 · outbound

This paper cites In: FMCAD 2024.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: FMCAD 2024

Reference 21

Resolution: verified exact; doi, observed 2026-08-12T13:22:31.398915Z

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 2d23d45c-1355-40aa-8f9c-1405d210b785 · outbound

This paper cites an unresolved cited work.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:31.146990Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b828c010-5931-439a-a448-399612733157 · outbound

This paper cites IEEE TCAD21(12), 1377–1394 (2002).

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs IEEE TCAD21(12), 1377–1394 (2002)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:31.153601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 173479db-5aa7-4024-b47e-30e02dd5f5f8 · outbound

This paper cites IEEE TCAD pp.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs IEEE TCAD pp

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:31.161009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 769accda-c57a-4094-b36d-250918f43733 · outbound

This paper cites In: FMCAD 2020.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: FMCAD 2020

Reference 25

Resolution: verified exact; doi, observed 2026-08-12T13:22:31.334312Z

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 a5c3c9e7-97be-434f-9a46-df2f976e9cc3 · outbound

This paper cites In: DATE.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: DATE

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:31.176657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96743d2f-549c-4114-941a-df1e91447860 · outbound

This paper cites IEEE TCAD32(9), 1409–1420 (2013).

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs IEEE TCAD32(9), 1409–1420 (2013)

Reference 27

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:22:32.014662Z

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 25e9ff77-8f71-4f3d-8dbd-2f9c894cbe58 · outbound

This paper cites In: ICCAD 2018.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: ICCAD 2018

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:31.188362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0d0d4ab-9c6c-426f-8ea0-3f8a2c00c6c1 · outbound

This paper cites In: DATE.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: DATE

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:31.193987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01207228-0269-4538-a940-ae4892bdf256 · outbound

This paper cites Advances in Mathematics46(3), 305–329 (1982).

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Advances in Mathematics46(3), 305–329 (1982)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:31.199863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 669ad888-ed2c-43fc-833b-a9ddeef5853b · outbound

This paper cites Journal of Complexity60, 101502 (2020).

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Journal of Complexity60, 101502 (2020)

Reference 31

Resolution: malformed identifier; no resolver link, observed 2026-08-12T13:22:31.206599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e0baf6a-5e5c-404a-9a3d-1c88c6f309e4 · outbound

This paper cites an unresolved cited work.

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:22:32.927959Z

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 121dc0fa-0280-499f-8e59-5f5edb4325d5 · outbound

This paper cites In: TACAS (1).

Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs In: TACAS (1)

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-12T13:22:31.225141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.