{"as_of":"2026-08-11T08:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d115937cfc2e9cdae37630fa84aeeeeb4ec942caee7d03a9976ee28b62cb48be","coverage":[{"denominator":41,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-09T18:43:56.800134Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2607.07164/citation-record","integrity":"/paper/2607.07164/integrity","json":"/paper/2607.07164/citation-record.json","paper":"/paper/2607.07164"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T18:46:26.777522Z","title":null,"venue":null,"work_id":"62b70160-f92a-44a3-b888-9263ca7cc49e","year":2015},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:f67b921245a6acec54bda823c43600fdbed0097a19abb9e7e38cfdd9da51b3d8","observation_id":"7ea571d8-05c2-4769-bec5-98ba5834ac49","resolution":{"observed_at":"2026-07-09T18:46:26.778776Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.772703Z","title":null,"venue":null,"work_id":"afc03c20-f7ff-47a0-af13-020872b069e6","year":2024},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:75a62cd880bc7eca8cd36e061913d375137642d0d60cd1f7390a28046cf8f2e6","observation_id":"e596c1b8-cf64-4635-90ae-1c8b8c7de314","resolution":{"observed_at":"2026-07-09T18:46:26.773735Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-65627-9_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proc","venue":"Lecture notes in computer science","work_id":"9c971e7c-e2ec-4a30-a4e9-430c0f52a751","year":2024},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:05c6eab6bcd5fe67a1a1630641880f4492fe5ea0f026346f07c4cc5208334a3d","observation_id":"10f34770-2f0d-4673-aed4-2d379fb5f8e0","resolution":{"observed_at":"2026-07-09T18:46:26.472713Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.142839+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.142839+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.774262Z","title":null,"venue":null,"work_id":"d9e47ae7-0879-43b6-b8a3-4fc96a4caccd","year":2024},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:4045814453c4af00e7a3051e22e57e93be5ca9eec86322da1d1e63cdede8b990","observation_id":"662695c9-e7b7-4f1b-9cbc-eeef710f564d","resolution":{"observed_at":"2026-07-09T18:46:26.775273Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.800560Z","title":null,"venue":null,"work_id":"ee3927cf-bf28-4570-b291-9c24e421d40e","year":2021},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:03656eaa5d066a187b158f4027ea106aac025a7d6be3c6b7492d19ec5e7d95b0","observation_id":"0920211a-0997-4aad-8d8d-216846704091","resolution":{"observed_at":"2026-07-09T18:46:26.801611Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.797400Z","title":null,"venue":null,"work_id":"b1058291-0ea5-4d77-b2f0-f23c3ef553c8","year":2002},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:dc14224989b772243ed96f5339d6da87c5753e2b5a58ebcf5cee14188c2c3e33","observation_id":"da0076ad-a51e-48d1-9c19-fad1ea572146","resolution":{"observed_at":"2026-07-09T18:46:26.798419Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.798999Z","title":"Brayton and Alan Mishchenko","venue":null,"work_id":"9a3fc50c-98bb-4490-a6af-8f68eebd2494","year":2010},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:5c446efb45d22e40732990d89ac91af2dfa3928df37b9424fec10e832b113cbf","observation_id":"e8d227f4-8066-4923-a586-5c6cdf5d6498","resolution":{"observed_at":"2026-07-09T18:46:26.800065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2024.155435","doi":"10.1016/j.aeue.2024.155435","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"AEU - International Journal of Electronics and Communications","work_id":"9add0e0e-6d17-4ac6-a52b-ae789b60bb4c","year":2024},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:1155befc826739f86880f0182f60d019b94227a012128187ee4e29ff3f6c24ca","observation_id":"7c116614-9ad3-4084-91ef-9ae31115c375","resolution":{"observed_at":"2026-07-09T18:46:26.463325Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.817850Z","title":null,"venue":null,"work_id":"7607a8a8-2900-4a80-851b-ddd5844358a2","year":2009},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:71309d4ca3ce60a773f9e838aae2bbbd079ab7542e00b226ab79eb02ef3003ce","observation_id":"9ee32881-2008-4133-a94f-e5bfd94a36aa","resolution":{"observed_at":"2026-07-09T18:46:26.819154Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1999.805857","doi":"10.1109/test.1999.805857","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Davidson","venue":null,"work_id":"7ebe53a5-2f40-46f6-87e3-c827e43ad768","year":1999},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:e31d0bf371b11bb4e7641e7c35aa93f1670b9314dff51d61118db782777a7033","observation_id":"2676f677-b345-4ddc-a2d1-ed5aef0e5ed5","resolution":{"observed_at":"2026-07-09T18:46:26.467014Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.805505Z","title":null,"venue":null,"work_id":"572c0928-5175-404e-ae59-15ab4c84a994","year":2005},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:3e6c79032eb4bcec8e8f87a69b25d97524e80b23dc329b0974227e2038d94c8d","observation_id":"996fb02b-388b-40e9-8a88-52aadf6cd8bf","resolution":{"observed_at":"2026-07-09T18:46:26.806646Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.804051Z","title":null,"venue":null,"work_id":"ce86fcd2-179e-434d-8d7c-1f793328159c","year":2007},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:ec204ed0b302275950f11f253ab4b9f3ab98861df64201dd4984d1457ae6ca52","observation_id":"8a2a521a-da37-48a8-a01d-cffbd1ad6708","resolution":{"observed_at":"2026-07-09T18:46:26.805040Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.814323Z","title":null,"venue":null,"work_id":"3995d4bb-eb90-4937-8451-dd1739a2173b","year":2007},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:548c45fdde993d3680ca1b25ca606f134381299e2260c491376d9f44ecd16a70","observation_id":"7844c94a-e335-4afa-9fea-278a8371c0f4","resolution":{"observed_at":"2026-07-09T18:46:26.815416Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.10703","last_updated":"2024-04-18T14:09:34Z","snapshot_observed_at":"2026-08-10T18:08:53.260140Z","submitted_at":"2024-01-19T14:08:08Z","title":"DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories","version":3},"cited_work":{"arxiv_id":"2401.10703","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.10703","snapshot_observed_at":"2026-07-09T18:46:26.494157Z","title":"DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories","venue":"cs.LO","work_id":"b5f41930-095d-4ce2-92f9-a677162573fa","year":2024},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"cited_paper":"/paper/2401.10703","citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:f6614ee00d1d666c450424f731b2e89695c05c4130f1ea5ad95641b9685dd078","observation_id":"ac8b4ca3-7638-487f-90a6-9910046f3e36","resolution":{"observed_at":"2026-07-09T18:46:26.495820Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.809164Z","title":null,"venue":null,"work_id":"41f64a14-8fba-4a39-9f73-b299a2e11932","year":2012},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:3de0cbd6d38bd30fb67570f6bd2f2323da9f088728637a167a5a2763011d1ba6","observation_id":"b4ab046f-8738-4efc-8a23-a566aaa0ae6f","resolution":{"observed_at":"2026-07-09T18:46:26.810364Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.800939Z","title":null,"venue":null,"work_id":"0bd6dfb7-8477-499d-9689-b4486ed9fad9","year":2012},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:dc52475806654742fc6ebc627a26fbb09ac8d007ce4557b2470b07201ae10aae","observation_id":"0cd836c4-c160-43ec-a938-32cdade43983","resolution":{"observed_at":"2026-07-09T18:46:26.802003Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.769448Z","title":"2012.Formal equivalence checking and design debugging","venue":null,"work_id":"0058b2d3-fd62-4e96-8af5-836ff604b46e","year":2012},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:3f3d800881924d046ec4d2d3372139f379d4cb47845cdde82d4abe45017866b3","observation_id":"b81c9cc3-327c-4250-b47d-8ac9491f3616","resolution":{"observed_at":"2026-07-09T18:46:26.770556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T18:46:26.467910Z","title":null,"venue":null,"work_id":"77f1ac49-ab35-45c8-a672-545dbb1e6932","year":2023},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:adea1a4387f1a8361925b249418a0c2bef5d55257dfe9d2c0b4c5732c0fc2f4d","observation_id":"499cb2ee-0d12-4a45-bf42-78c932e670fc","resolution":{"observed_at":"2026-07-09T18:46:26.469339Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.803884Z","title":null,"venue":null,"work_id":"f2c719f7-c33e-4063-a401-19880b02d0b6","year":2000},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:88eaa1d8ab3f8fcd3a819cd24c82eb1728707e941e70f3ad2cd1a3a62336fee4","observation_id":"4c35c002-721f-4586-ac98-aa7d38484119","resolution":{"observed_at":"2026-07-09T18:46:26.804887Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.786635Z","title":null,"venue":null,"work_id":"ed02e008-b218-4254-a306-df6987e1e065","year":2015},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:b5a1d7adfe1868c2d70cf8c71ff2c0a374e5ba2afd7207823e686a2d07a9f886","observation_id":"34b42d9b-5126-42c9-805f-5f3966c0bdc0","resolution":{"observed_at":"2026-07-09T18:46:26.787862Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.15897","last_updated":"2024-10-21T11:21:21Z","snapshot_observed_at":"2026-08-06T15:21:34.078746Z","submitted_at":"2024-10-21T11:21:21Z","title":"IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses","version":1},"cited_work":{"arxiv_id":"2410.15897","doi":null,"metadata_source":"pith","pith_arxiv_id":"2410.15897","snapshot_observed_at":"2026-07-09T18:46:26.500116Z","title":"IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses","venue":"cs.AI","work_id":"0112fd5e-8895-44c7-b0a1-cd330646bc5f","year":2024},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"cited_paper":"/paper/2410.15897","citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:e888d2243802240f875d2304a0707a99fa476aca7dcdaade66037b3f9fdcade9","observation_id":"ec20bc97-15c1-46ba-a284-3b35366ed098","resolution":{"observed_at":"2026-07-09T18:46:26.501724Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.802457Z","title":null,"venue":null,"work_id":"8473d0b6-9f8d-4d8c-a23d-ea4c1e6d102f","year":2017},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:c4b5aa57747c72e685eb88dda08ed3dfde5346f52f518d166d6494a780116725","observation_id":"68f77fcb-c291-40c6-96ef-e3b8a52dadae","resolution":{"observed_at":"2026-07-09T18:46:26.803471Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.807227Z","title":null,"venue":null,"work_id":"9f25ccef-4fd9-41db-a2c8-0f6483e4a60d","year":2009},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:9c681d8d89b6eaa77ea2a1e80302e0ab062ce91c42529f662a489b7603715c59","observation_id":"a9b60f2d-aea6-4b41-b785-11311bf30da4","resolution":{"observed_at":"2026-07-09T18:46:26.808574Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.815948Z","title":"McCluskey","venue":null,"work_id":"98e70d0a-88dd-45db-b700-27ad63e73c2e","year":1956},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:779b7e7874a28a59a0a968f305ba2d7b4ace7eb9e29a7736db449ac6f0762492","observation_id":"aa202031-1f8f-4bd7-8147-4b847402a0b3","resolution":{"observed_at":"2026-07-09T18:46:26.817300Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.789486Z","title":null,"venue":null,"work_id":"cbb062bb-1205-4a11-817e-8e3d788fb15b","year":2006},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:0d40102a9bd8d4aeebc4aee820df7cc82aca66434805f6d2ce3535df21067194","observation_id":"5c650005-ca34-4645-96a4-f22271c9428f","resolution":{"observed_at":"2026-07-09T18:46:26.790522Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.791077Z","title":null,"venue":null,"work_id":"b7201ff9-688d-4012-b025-901b549274f9","year":2006},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:6797b4c5fed9e19409df2ab7ce8ad79aeb26dd2833fcbc109c0c9a43367812dd","observation_id":"ae9e80b5-6bdb-4a55-b672-0fabca316595","resolution":{"observed_at":"2026-07-09T18:46:26.792098Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.792634Z","title":null,"venue":null,"work_id":"ddac7228-d050-4a51-bd57-19dc8cf575ab","year":2006},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:c8189227fc31d504a73b6c5fe24216a25f7b989f6d5f3a381278d78eacb3bd78","observation_id":"95c2b1c0-e655-470c-b69e-9b8d7ab7e505","resolution":{"observed_at":"2026-07-09T18:46:26.793696Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0006170","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2006.Bayesian Approach to Global Optimization","venue":"Lecture notes in control and information sciences","work_id":"495d18fc-667c-4475-9ef5-8115299076f2","year":2006},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:eb2cd5abc154da514c5b487959799c32cb43999c98877d0b7c3486028d2f359b","observation_id":"44c18806-43fe-4482-97e2-b07e2157130e","resolution":{"observed_at":"2026-07-09T18:46:26.472221Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.784265Z","title":null,"venue":null,"work_id":"95bf85d1-d9f8-4b0c-8784-59014a7eca26","year":2004},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:29d7feb6db3715dae450471e30ae9585b0ebbc7264f441907935ff9a30711d24","observation_id":"6f5aa12c-62b4-437d-af45-8bd17b0b8184","resolution":{"observed_at":"2026-07-09T18:46:26.785505Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.785996Z","title":null,"venue":null,"work_id":"55021c82-2049-4843-8a43-c959747beeb6","year":2004},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:8f87c25c23f01a26680ede2d6c140b733c9469e7c37403e8016868d9e95d3bd4","observation_id":"3fcfbbc4-4861-4bc4-85e8-95e68d290ab7","resolution":{"observed_at":"2026-07-09T18:46:26.787201Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.781168Z","title":null,"venue":null,"work_id":"ba952714-bfc9-423e-a310-30033351238e","year":1999},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:b622a5deb019543c9a17eaa0e57932efcd0b1a3b85c1bd66e4a48f20c4034564","observation_id":"d936c681-66c6-403b-b662-c62fae8e23bc","resolution":{"observed_at":"2026-07-09T18:46:26.782218Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.812605Z","title":null,"venue":null,"work_id":"3fbcb0f4-0923-485a-bbf3-d7b543622091","year":2025},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:f5575f741b7c3e10c1daf92b079bb176a01b2a484d6cb0f79e4e41b5511449bb","observation_id":"c3c3ef64-8638-432c-aa15-0ebfc13f1a1b","resolution":{"observed_at":"2026-07-09T18:46:26.813648Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.797816Z","title":null,"venue":null,"work_id":"93504cf4-f77b-4b61-ae93-dd5019313b7e","year":1952},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:d2a9d05dd400136cf7b57f9426b6fb2d9e0c6656f477b68c6855e84e512259b4","observation_id":"7f5b0f7c-944f-4e0c-87e6-6f8e249ff8c4","resolution":{"observed_at":"2026-07-09T18:46:26.798829Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.782744Z","title":null,"venue":null,"work_id":"2d77fc7a-da9c-4d32-bab1-55f7f0930928","year":2025},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:3b1b0146b0ace83c444cddb9290a28c64cafb633509b94333bd0b05b62cc9242","observation_id":"0bff9245-0558-4942-8e47-38e1194eb8aa","resolution":{"observed_at":"2026-07-09T18:46:26.783736Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.02016","last_updated":"2025-05-04T07:35:34Z","snapshot_observed_at":"2026-08-07T15:56:40.554765Z","submitted_at":"2025-05-04T07:35:34Z","title":"ForgeEDA: A Comprehensive Multimodal Dataset for Advancing EDA","version":1},"cited_work":{"arxiv_id":"2505.02016","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.02016","snapshot_observed_at":"2026-07-09T18:46:26.497020Z","title":"Forgeeda: A comprehensive multimodal dataset for advancing eda","venue":"cs.AR","work_id":"9b67b262-2296-49c8-9af1-85ce64e5f508","year":2025},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"cited_paper":"/paper/2505.02016","citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:6f1476c6eecd23a359ee06953199005f7de2f526a9afa173a55cc73503077a2b","observation_id":"064f91f9-b11e-47c6-9406-c4927661b6ff","resolution":{"observed_at":"2026-07-09T18:46:26.498954Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.771226Z","title":null,"venue":null,"work_id":"744d47b8-aaa2-4de2-961a-04d0f5937da4","year":2025},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:620e37dffb2437e91b3fedaf76400fc3fcaa5ef6850898de1397d65b0124ad19","observation_id":"4630928a-c9e1-46c6-83ca-447abd53755f","resolution":{"observed_at":"2026-07-09T18:46:26.772260Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1805.05121","last_updated":"2022-06-03T09:33:52Z","snapshot_observed_at":"2026-08-06T23:04:31.677224Z","submitted_at":"2018-05-14T11:34:47Z","title":"The EPFL Logic Synthesis Libraries","version":3},"cited_work":{"arxiv_id":"1805.05121","doi":null,"metadata_source":"pith","pith_arxiv_id":"1805.05121","snapshot_observed_at":"2026-07-09T18:46:26.497290Z","title":"The EPFL Logic Synthesis Libraries","venue":"cs.LO","work_id":"af3bf4b9-5e8d-49e3-a156-fb20113ddbc7","year":2018},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"cited_paper":"/paper/1805.05121","citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:2da8e6f2c91054f6de8dd76e5dc2127373aac559a391e0a6d4bb34360b6c4b6b","observation_id":"7a48e455-9b0e-4855-a757-110bf73e0fd5","resolution":{"observed_at":"2026-07-09T18:46:26.498796Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.769631Z","title":null,"venue":null,"work_id":"1d44903b-2447-458c-85ba-8d3d078a2729","year":2019},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:1295b52d2cf19b890868b54066994ed1fb0f7800dd88f1a336e015e93ef554c0","observation_id":"d88a12fb-c9a8-4a08-b0bc-2eca747670b6","resolution":{"observed_at":"2026-07-09T18:46:26.770716Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.805383Z","title":null,"venue":null,"work_id":"6d25e9b8-5fd8-4511-8053-bc8f7a1d1709","year":2009},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:eb25146d9861399799f71aeb3e883a670fed486bb017e27cc1fa4716134878f4","observation_id":"fcacbbb0-be90-4112-87e7-d69b8faa4e91","resolution":{"observed_at":"2026-07-09T18:46:26.806531Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.810879Z","title":null,"venue":null,"work_id":"411e663d-8d3e-43f3-aecf-4bb3544945b3","year":2021},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:9da46c4a041d1e75da509f95f083f43f222cc32e2079fa1e4e4170b8e1a243b1","observation_id":"b915d655-d3db-4584-b008-34fa74c2818d","resolution":{"observed_at":"2026-07-09T18:46:26.811898Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T18:46:26.779561Z","title":null,"venue":null,"work_id":"d01e69ec-88fe-485e-a4e9-e0892c398957","year":2021},"citing_paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-09T18:43:56.800134Z"},"links":{"citing_paper":"/paper/2607.07164"},"observation_digest":"sha256:79596857e5198e02289d11bf7c1bb9e052ecc3a4e4dc8966146e2b139adc36fc","observation_id":"e58960af-57db-4727-bbad-a45ecb27f9de","resolution":{"observed_at":"2026-07-09T18:46:26.780612Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.07164","last_updated":"2026-07-08T08:56:24Z","latest_version":1,"primary_category":"cs.AR","snapshot_observed_at":"2026-08-03T21:24:45.365103Z","submitted_at":"2026-07-08T08:56:24Z","title":"Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking"},"reference_resolution":{"displayed":41,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":28,"verified_exact":7,"verified_fuzzy":3},"total_outbound_references":41},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2607.07164."}