{"as_of":"2026-08-13T07:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ed903facd241264ae693665d78e0ad6339783129a936b1d296d0136545b212b7","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T13:22:31.225141Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.16348/citation-record","integrity":"/paper/2411.16348/integrity","json":"/paper/2411.16348/citation-record.json","paper":"/paper/2411.16348"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:33.168026Z","title":"http://www.eecs.berkeley.edu/~alanmi/abc/ (2019), bitbucket Version 1.01","venue":null,"work_id":"07bd594b-c244-4025-88cb-8360d2ae516d","year":2019},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:30.975621Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:c40a5e386546e36b96212f84cbbc41305ca24f1240149308f41f19434284d1d0","observation_id":"08c9115e-93ad-445b-a009-7636c53393a7","resolution":{"observed_at":"2026-08-12T13:22:33.174163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:30.983594Z","title":"In: ISSAC","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:30.983594Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:6822efdc2af4604f9695cf4c4fdaa1c4b12c2f25cf5019422c3d80d00da0fb3a","observation_id":"5700b7c5-83f3-444f-971b-1471eca17685","resolution":{"observed_at":"2026-08-12T13:22:30.983594Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:30.991240Z","title":"In: ISSAC","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:30.991240Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:2b1f265f3f8cde49039d4cafd23d4428deb595deb301994d3c82875cef00eafe","observation_id":"fae391d9-e265-4e8e-b6f8-c45d885b696b","resolution":{"observed_at":"2026-08-12T13:22:30.991240Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:33.145971Z","title":"In: SAT Competition 2016","venue":null,"work_id":"cde1621a-d4c3-4414-a97a-4dbfb0c978cb","year":2016},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.007036Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:283ded96a76c21d0bcc646e78377e97ce7667ff516955c6d85ec69cc562e1367","observation_id":"4e2d6824-629f-491c-af6e-4cb540e23851","resolution":{"observed_at":"2026-08-12T13:22:33.151934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:33.123028Z","title":null,"venue":null,"work_id":"12aa0802-fb58-4f33-a20c-620a6b872c2d","year":1965},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.016541Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:606ef56ad8b288257fd4708ab07e6726527f52aa62fc732131a194b0b0021072","observation_id":"130afcce-0534-4318-a84f-753c768c671c","resolution":{"observed_at":"2026-08-12T13:22:33.129213Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:33.102842Z","title":"Scholarpedia5(10), 7763 (2010), http: //www.scholarpedia.org/article/Groebner_basis","venue":null,"work_id":"fa5942b0-9a56-4347-8748-cc5e66487c82","year":2010},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.025459Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:7c7571562d8f455917c38ffbcf6acd39a8f465e876049de0f571e41b6cc1dde5","observation_id":"59c37cf8-c242-443d-8527-c60d20e75be8","resolution":{"observed_at":"2026-08-12T13:22:33.108084Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/217474","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.490605Z","title":null,"venue":null,"work_id":"883f4f51-f732-4a92-8fb5-0fa861c38c62","year":1995},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.038323Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:1946675ad1e57099497e54ec8c3d30cb4b565460584da0a69add72a6536116fd","observation_id":"04c5fe2a-aab9-4cfb-b0e3-1328dd64d2a5","resolution":{"observed_at":"2026-08-12T13:22:31.497444Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:33.072553Z","title":"Springer-Verlag New York (1997)","venue":null,"work_id":"688c7289-5fec-41ed-8bcb-e95b2d4f372a","year":1997},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.044959Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:60d85dd269bb28aa8b456ade609671243d68e8cd51d0c125c909a69fcb92ae2a","observation_id":"446015b1-82c1-4997-b833-15f803de465d","resolution":{"observed_at":"2026-08-12T13:22:33.087548Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:33.044885Z","title":"Journal of Pure and Applied Algebra 139(1), 61–88 (1999)","venue":null,"work_id":"d96d8a2f-1650-4d4f-83f3-d4010b6902ef","year":1999},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.051588Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:fd9cf723d9f581d0aba2c4f60edc02eed277ad0d5b7036d9be90e65d7b220163","observation_id":"04246cb1-ca9c-48bf-a3a5-12b545b47e75","resolution":{"observed_at":"2026-08-12T13:22:33.056038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8628.26086","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:32.647544Z","title":"https://doi.org/10.1145/2608628.2608669","venue":null,"work_id":"76918e6a-2960-41ce-974f-9e93b43f5808","year":2014},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.060080Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:e0205a20a558ca6b5d3e261c31e9a1f1b0b48c59e970fa30b6d2e5350281806e","observation_id":"2167993f-8f24-4b7f-8978-a130077e39f9","resolution":{"observed_at":"2026-08-12T13:22:32.657431Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.065894Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.065894Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:000a4499e58b2ab5582fea11906839e8cc2c27cef3d376ec860e1e870438cef5","observation_id":"76b83a1d-2645-41ae-b7c6-409b42856f50","resolution":{"observed_at":"2026-08-12T13:22:31.065894Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jsc.2016.07.025","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.466227Z","title":"Journal of Symbolic Compu- tation 80(3), 538–569 (2017)","venue":null,"work_id":"2db7397a-6037-4cbb-95fb-b721acbeb31e","year":2017},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.077983Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:5a382722f03763273939590178a4e3bf3bd45d0314998191b96b0febc4f00c06","observation_id":"6a6a209d-4a20-495d-904f-3a6107e936a6","resolution":{"observed_at":"2026-08-12T13:22:31.475953Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:33.019308Z","title":"IEICE Trans","venue":null,"work_id":"0070db89-cd1b-4ccf-ac0c-7ce04debd6a0","year":2006},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.083886Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:ad0e9693435af81a477cb87aa7fe815e9fdcb5140adefdd3c75936c73a3636cf","observation_id":"4f399d33-be79-42e3-a1e8-6f9212464bc7","resolution":{"observed_at":"2026-08-12T13:22:33.026826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:32.996734Z","title":null,"venue":null,"work_id":"3d380131-a99f-4d45-b5cb-52902f9157a0","year":2025},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.093468Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:05ae117e17a8578622180d4dde003a7c1686ccd6aa32fe20c3ef32e48f8c16f0","observation_id":"3b29fa7d-8a31-463b-854f-2d78316bab6a","resolution":{"observed_at":"2026-08-12T13:22:33.004218Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.098922Z","title":"In: DATE","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.098922Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:db162ea3d380c5564b0819a4cb88e95edf3169c98d56a09cfdeccbfba7b4c62b","observation_id":"25d7e0ca-2015-4e43-833d-c3960f1769de","resolution":{"observed_at":"2026-08-12T13:22:31.098922Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.14609934","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.437829Z","title":"https://doi.org/10.5281/zenodo.14609934","venue":null,"work_id":"cae89d72-596d-4f9e-8c7a-9526a9a20fdd","year":2025},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.104834Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:0f7b73ff0b39aa18c07606c03878796c50170d705eb9f652335d6c41ecb1a71f","observation_id":"6c634ffa-2b7d-40ad-8a0e-70489cc253b9","resolution":{"observed_at":"2026-08-12T13:22:31.445555Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:32.973619Z","title":"In: TACAS (2)","venue":null,"work_id":"7ad0d954-49b2-4855-a325-e043f7fe33ad","year":2021},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.113090Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:11fb67b0544bb33d3e250eaae4ca5260bba2ec5faacf5336808b9f0ad2fff519","observation_id":"d38f6c54-ad17-4fe0-a4d7-2e0d973d74af","resolution":{"observed_at":"2026-08-12T13:22:32.980758Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.88942","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:32.364786Z","title":"In: FMCAD 2019","venue":null,"work_id":"4ab60b22-a012-4950-949c-f3718cc51e9e","year":2019},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.118993Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:6532a73b02be9cd89435d2e9fb28c0b3bd07e45d41e8332f88595c708bad8809","observation_id":"93ca32de-f91e-4eab-8f6d-9f40a8174a4e","resolution":{"observed_at":"2026-08-12T13:22:32.373858Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.126635Z","title":"Formal Methods Syst","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.126635Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:321bdb6112b791469c24af1a1d073007bdad45af86e27ed62e8016e055bde32b","observation_id":"c7fbbce5-37a9-4738-b1da-6a5752565189","resolution":{"observed_at":"2026-08-12T13:22:31.126635Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:32.941671Z","title":"Formal Methods Syst","venue":null,"work_id":"242ed055-faa2-4299-b0db-3ad74854531c","year":2022},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.134201Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:173f8c8d1f670406eb49139c26c1e88ff91ea9b3d4f76b3fdadfa678f1b133a8","observation_id":"0fa3833e-0740-413c-8cfe-fa6ad1f84d2e","resolution":{"observed_at":"2026-08-12T13:22:32.948652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.34727/2024/isbn.978-3-85448-065-5_32","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.390420Z","title":"In: FMCAD 2024","venue":null,"work_id":"95e76c90-1f81-4596-a965-6ce4aeed330a","year":2024},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.140306Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:6b5fcb23edd17ccac6269c22a1611442c743757d62cf63217be18f50be410ddf","observation_id":"76d750cd-181c-4498-9aa3-21834fd98639","resolution":{"observed_at":"2026-08-12T13:22:31.398915Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.146990Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.146990Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:9aef430ecd75d8dce17a5ce6ca3380cd130144dc53cf62de83641769253f74b9","observation_id":"2d23d45c-1355-40aa-8f9c-1405d210b785","resolution":{"observed_at":"2026-08-12T13:22:31.146990Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.153601Z","title":"IEEE TCAD21(12), 1377–1394 (2002)","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.153601Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:a9cb5c5f42e20c444045c1608c7b9d32792041bf39878ebe1d435f8e153a86fb","observation_id":"b828c010-5931-439a-a448-399612733157","resolution":{"observed_at":"2026-08-12T13:22:31.153601Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.161009Z","title":"IEEE TCAD pp","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.161009Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:7e7f58cdc482ba7044be994d20aa785a6d9a758ff6d14dbff1d65736034193b9","observation_id":"173479db-5aa7-4024-b47e-30e02dd5f5f8","resolution":{"observed_at":"2026-08-12T13:22:31.161009Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.34727/2020/isbn.978-3-85448-042-6_27","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.316220Z","title":"In: FMCAD 2020","venue":null,"work_id":"b81a01a9-7498-4281-a615-ec614d30ba72","year":2020},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.168150Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:a73880e5ab5d82405a0266596fe271d97c418529a2ffcc7be5bedd9aacf3a64a","observation_id":"769accda-c57a-4094-b36d-250918f43733","resolution":{"observed_at":"2026-08-12T13:22:31.334312Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.176657Z","title":"In: DATE","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.176657Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:3dcaf8949697fca6df928bcb3006b48d6981d6971944da71b4747c1b6d4c36bf","observation_id":"a5c3c9e7-97be-434f-9a46-df2f976e9cc3","resolution":{"observed_at":"2026-08-12T13:22:31.176657Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2013.22595","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.987916Z","title":"IEEE TCAD32(9), 1409–1420 (2013)","venue":null,"work_id":"9fff2d07-d8bd-4bbe-9d9f-b9b64730874e","year":2013},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.182614Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:c5506c530c7ff545e2c7239f3b55f36f9ad2f9e1c245a7d6fe7d2891a0647a3e","observation_id":"96743d2f-549c-4114-941a-df1e91447860","resolution":{"observed_at":"2026-08-12T13:22:32.014662Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.188362Z","title":"In: ICCAD 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.188362Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:9db2e75e8486e5dee57eec2db1103e0245ad44923a654768f56d194703a27930","observation_id":"25e9ff77-8f71-4f3d-8dbd-2f9c894cbe58","resolution":{"observed_at":"2026-08-12T13:22:31.188362Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.193987Z","title":"In: DATE","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.193987Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:ed58035e104a5b53345ab4c7b93e0beac3f393405278744353c252d9dc61633b","observation_id":"b0d0d4ab-9c6c-426f-8ea0-3f8a2c00c6c1","resolution":{"observed_at":"2026-08-12T13:22:31.193987Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.199863Z","title":"Advances in Mathematics46(3), 305–329 (1982)","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.199863Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:06e8c9161e78071e37de9df4cc8643d8020c4964c15cbbc3df4b3b1289f7d64a","observation_id":"01207228-0269-4538-a940-ae4892bdf256","resolution":{"observed_at":"2026-08-12T13:22:31.199863Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.206599Z","title":"Journal of Complexity60, 101502 (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.206599Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:197f0b7081f59248a2501d3df3c96694105764886ab27a6b372f5063790df6d9","observation_id":"669ad888-ed2c-43fc-833b-a9ddeef5853b","resolution":{"observed_at":"2026-08-12T13:22:31.206599Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:32.920923Z","title":null,"venue":null,"work_id":"2531990b-95a5-4b4c-8384-8f6c0efbc1b9","year":1994},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.215627Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:78eb24b238181eadc5e22b9cff349df8f071ffd9f0e4038e41d9a9b251e08139","observation_id":"6e0baf6a-5e5c-404a-9a3d-1c88c6f309e4","resolution":{"observed_at":"2026-08-12T13:22:32.927959Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:22:31.225141Z","title":"In: TACAS (1)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T13:22:31.225141Z"},"links":{"citing_paper":"/paper/2411.16348"},"observation_digest":"sha256:26457f2d0f24374e4013cc5ed9399f05383ecf4e31a9d4010abf5cb93ee9a2c8","observation_id":"121dc0fa-0280-499f-8e59-5f5edb4325d5","resolution":{"observed_at":"2026-08-12T13:22:31.225141Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.16348","last_updated":"2025-01-20T12:07:57Z","latest_version":2,"primary_category":"cs.SC","snapshot_observed_at":"2026-08-13T03:22:45.937014Z","submitted_at":"2024-11-25T12:55:49Z","title":"Extracting Linear Relations from Gr\\\"obner Bases for Formal Verification of And-Inverter Graphs"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":3,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":15,"verified_exact":5,"verified_fuzzy":7},"total_outbound_references":33},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"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."}