{"as_of":"2026-08-21T10:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3a29392e53c635533cda505f5573ece8923c065b102784210ee640b6bc1c0dba","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T05:05:13.533462Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+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/2508.14068/citation-record","integrity":"/paper/2508.14068/integrity","json":"/paper/2508.14068/citation-record.json","paper":"/paper/2508.14068"},"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-06T05:05:18.866339Z","title":"Amar \\'u , P.-E","venue":null,"work_id":"33010748-2df5-42b3-a9d4-94f600431dfa","year":2015},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:10.930251Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:1a7492379bd2fe1e34787682e5b76096e8e2f29214611d92ccdee28d2da05abe","observation_id":"51f12a65-88e1-4de9-8cd0-d1c6c49aa272","resolution":{"observed_at":"2026-08-06T05:05:18.905298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:18.632935Z","title":"Amarú, P.-E","venue":null,"work_id":"5bc541d9-5e71-43a4-8341-99f9a9a71596","year":2016},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:10.973730Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:986c29f2048fe4d69b5f4ac3c59c04eafe041a9b201e0ddd357505affea89aeb","observation_id":"b5441c09-d739-44a5-9a2c-6032cc364666","resolution":{"observed_at":"2026-08-06T05:05:18.742387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:18.507110Z","title":"Brglez, D","venue":null,"work_id":"ce6d3943-6789-4a16-881e-b5d8ee14642d","year":1929},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.067154Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:a5bda045fd7b609b7d69b6c14e0b606c44c975a5b6f99e1e6ed66c93c675e396","observation_id":"ebc096ad-73d5-4978-a3e4-60993882e4fa","resolution":{"observed_at":"2026-08-06T05:05:18.589862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:18.361185Z","title":null,"venue":null,"work_id":"1b0d4d72-b9d8-4d62-941b-818386ccdf91","year":2025},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.150448Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:d0850cb4fa3217c27bc3d101b639bfeca72a38b3f462d432630d24c70ff7f7bb","observation_id":"cf4fbdd3-1499-49e6-97bf-d165b7c5a21a","resolution":{"observed_at":"2026-08-06T05:05:18.412772Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:18.192856Z","title":"Chatterjee","venue":null,"work_id":"b8457a71-7c92-4ef8-9c7a-52869d752a6c","year":2007},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.235531Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:94755bcd1aaf5b5cf5193e0d465c0e987883856dce14325018a6c7943dc5cfe9","observation_id":"69b801e5-1210-4b80-97c3-54d0380b6e73","resolution":{"observed_at":"2026-08-06T05:05:18.293680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:17.999466Z","title":"Chatterjee, A","venue":null,"work_id":"9009b6e3-8f60-49d9-a28f-53eeb1330f3b","year":2006},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.309808Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:a68a6ba9a2000eeed2d75f776f33277bfe7065bcc48256f10d5fbc3958fa1a45","observation_id":"a11a6891-9aee-4642-bc3c-3791efc03cff","resolution":{"observed_at":"2026-08-06T05:05:18.110398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:17.855560Z","title":null,"venue":null,"work_id":"f7e88d50-10e8-4603-8b43-840d5b3f0ad0","year":2025},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.405490Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:1758f5f885b9d2a914a9f5e9d46a93467eb1c51904d21d27ef31cf9a2e6b5f77","observation_id":"6149ec69-39ba-4884-a348-c4d0ef96c5d0","resolution":{"observed_at":"2026-08-06T05:05:17.944014Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:17.693279Z","title":null,"venue":null,"work_id":"e88fff59-cd57-4ee3-af1c-0680d5cb111c","year":2024},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.522921Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:e5e77078a47dadbba9eaf492539f3fdaf2f53c09f66afccb7a5c14a64f2099d3","observation_id":"988d30fb-27bb-49b8-87e8-9ee229f65039","resolution":{"observed_at":"2026-08-06T05:05:17.766073Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:17.548144Z","title":"Chen and J","venue":null,"work_id":"2f17b69a-0d81-455d-b3c0-5717eed48567","year":2001},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.592771Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:7ef8bbe15d7d40d28796eed2e28410fd5bb26dc6b5eadb1ca5b0ed2cf7e1c624","observation_id":"2e7ce10f-652c-45cb-abe0-d45fc0b2b715","resolution":{"observed_at":"2026-08-06T05:05:17.617434Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:17.409437Z","title":"Cheng, S","venue":null,"work_id":"8ed07dc3-d284-42eb-afbc-efe279e8cff7","year":2024},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.690021Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:7ba8a96cbe013bdc8f802dfe7d7843bfe4cec67fca2550b0e70a2f07cb2dbb32","observation_id":"bd4a3151-7491-447c-b54a-ba87b591fddc","resolution":{"observed_at":"2026-08-06T05:05:17.477115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:17.233715Z","title":null,"venue":null,"work_id":"b2739c6b-9d91-4f39-b697-a6ad46749234","year":2024},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.754940Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:9265a235dbc8afe3963dfeac9daceb40e77654af2625b33674aa547bde1a11ee","observation_id":"2beb0529-843d-4705-b304-62bec98af7bd","resolution":{"observed_at":"2026-08-06T05:05:17.321137Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:17.097805Z","title":null,"venue":null,"work_id":"659c2f6f-232e-45d1-81e2-b285457c7d5e","year":2016},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.843781Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:6ef3af445188573b65cbec0400273f579f938393a2f496058dc7323774a782f3","observation_id":"a90d9c3c-2664-45e9-8464-22a2b32007fa","resolution":{"observed_at":"2026-08-06T05:05:17.149046Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:16.910881Z","title":"Cohen, Y","venue":null,"work_id":"d32a828a-e2c0-4ba4-b4c7-f364bee553f2","year":2009},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.903890Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:49e5828e2090609a769c6b85c2f7e798a9f67ee0a183ab4dc8ffcf6feebb94de","observation_id":"132c3d9b-09f8-403d-8294-e6250d6f604e","resolution":{"observed_at":"2026-08-06T05:05:17.002808Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:16.725930Z","title":null,"venue":null,"work_id":"84d9c71a-5bf6-4a30-93d1-ca417f3a8b51","year":1999},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:11.950357Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:98e7c8017073ece02c185e36a945e7d6fcc8b11f305673c3650dd0dcb5ce97d0","observation_id":"f4e41820-5240-486c-81a6-b1c3dc8ccb31","resolution":{"observed_at":"2026-08-06T05:05:16.816205Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:16.510378Z","title":"Coward, G","venue":null,"work_id":"9c538a99-d1cc-4bf6-acda-87de7551f9e8","year":2022},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.027863Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:8c036a0d9ed4444a6f0218ebde7fb0c540db5f2e8f33455ee48086d6bf47f874","observation_id":"ddb9cde9-486f-4af7-b079-d877eac4331f","resolution":{"observed_at":"2026-08-06T05:05:16.629548Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:16.262216Z","title":"Coward, G","venue":null,"work_id":"2fce519c-caa2-4ba0-a86c-6dad89393d3f","year":2023},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.115747Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:03b9ba607d24a8be7b6cfdf53f03dc7063f371836de9621590034f4d7edcd8be","observation_id":"f44be768-df87-45bd-bc5b-8816998961d0","resolution":{"observed_at":"2026-08-06T05:05:16.381724Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:16.096379Z","title":"Coward, E","venue":null,"work_id":"fd9cf953-02cd-46a1-99fb-1dd175362bb2","year":2023},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.196387Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:c78aa06541596f1ed44030d342e592fe9c4a089c4e5fab35b0b99180c38bf9a1","observation_id":"b74c6649-b132-44f1-8093-c854355e68ab","resolution":{"observed_at":"2026-08-06T05:05:16.174419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:15.943712Z","title":null,"venue":null,"work_id":"0e16c8b6-8f83-48e2-b96c-0036f617a3cb","year":2010},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.250537Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:a5745b99a2463ea6771d92232c1619cdbd1968d61e853b3b9447ec516e042617","observation_id":"9c429bcc-0380-4d3a-ab41-92487353f9fe","resolution":{"observed_at":"2026-08-06T05:05:16.001076Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:15.812160Z","title":null,"venue":null,"work_id":"7d92fc1b-5151-43e4-a99c-5b078ef30950","year":2001},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.327299Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:e9fc18e1e159c67886e02d5d4e9a3edcbc8d652f6bfde7eaf6b213465b01fbcd","observation_id":"b1e63304-a441-479e-bbc2-f8160ec1f6db","resolution":{"observed_at":"2026-08-06T05:05:15.872440Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:15.647664Z","title":"Grosnit, M","venue":null,"work_id":"626b816e-7a05-44f2-96a1-eafbfd57d02e","year":2023},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.392840Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:3c4a4179361a193e25641cb51a4ed0a251f28a48e65ff2063029a861af9d44e1","observation_id":"8958ae61-89d7-4d04-b7bf-b0fc888d643a","resolution":{"observed_at":"2026-08-06T05:05:15.738074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:15.445376Z","title":"Haaswijk, M","venue":null,"work_id":"569c9a6f-f030-4fc2-944b-04e0f91c68fa","year":2017},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.453295Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:368cda88a37253b3bc761086cb8e3aab4026f535c3a5f9b56fcdac115afb7612","observation_id":"109dab5e-7c20-4e81-a40f-b4985f2c0821","resolution":{"observed_at":"2026-08-06T05:05:15.551594Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:15.311857Z","title":null,"venue":null,"work_id":"a0a432c4-cfe8-4658-b082-d46238656134","year":2025},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.536745Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:fefb072efe35413c3e75448dee4e851b3afc68f1b6c075db93d8b7619fbfb3c8","observation_id":"9d5e8e0c-9947-48eb-a214-23a0fd6b9859","resolution":{"observed_at":"2026-08-06T05:05:15.374108Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:15.170488Z","title":"Lehman, Y","venue":null,"work_id":"873bf7fe-7ff0-48df-bfa5-e62401c08f20","year":1997},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.651559Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:5053f84576c42c12e7513a86588254f4b7ea16186e67dabb545edb43e18440f0","observation_id":"d0af21ed-f8bb-4d51-b296-f6e64f2fffa7","resolution":{"observed_at":"2026-08-06T05:05:15.227700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:15.012278Z","title":"Mailhot and G","venue":null,"work_id":"da403a17-4286-4fdd-9873-831602fde7a5","year":1990},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.720598Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:4faa99fa57d5ea81f11db0cb67f3210791912d811d7f82d7647ad2e45c7a057e","observation_id":"215818b5-7974-4f61-b3c3-80b0b5584c81","resolution":{"observed_at":"2026-08-06T05:05:15.055865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:14.829560Z","title":"Mishchenko and R","venue":null,"work_id":"2adf96f0-bb11-4455-90c6-6f156cd2bcd6","year":2008},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.796221Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:61d184bd112f6aaaa993317a7e1d800292b281f265644e180d70f4f63b0bc48a","observation_id":"45939701-ce60-42a9-b2c6-c8a42a2e671b","resolution":{"observed_at":"2026-08-06T05:05:14.894067Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:14.666351Z","title":"Mishchenko, R","venue":null,"work_id":"b12a48d0-77e0-41c2-b855-62dd2d5e1776","year":2011},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.858852Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:91b64d9ad1b98792774ce5aa441d18428c06061e35c9bb52450c3ffcc7cf8864","observation_id":"ef4fab29-9727-4c00-b1bd-c25cf9bbccc5","resolution":{"observed_at":"2026-08-06T05:05:14.727299Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:14.518789Z","title":"Mishchenko, S","venue":null,"work_id":"5c9e5919-2d2d-40b3-80c7-e1d727a1e0c9","year":2006},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.912000Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:f40fec2f390dca7f263680531e9474191a3f9cb198b082fe39c68fde7318f2d6","observation_id":"77d947e1-d597-4d07-8675-704db536a2d0","resolution":{"observed_at":"2026-08-06T05:05:14.582754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:14.339978Z","title":"Mishchenko, S","venue":null,"work_id":"5f838d31-578f-45cc-aa38-33242b5ac8f3","year":2006},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:12.987728Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:f1c2fed8fada0663dd23cc42922a1a88afb4b1670caf4a1b25add190e1290132","observation_id":"b99bf66d-f9ab-4093-8415-1c16da52fb8a","resolution":{"observed_at":"2026-08-06T05:05:14.398852Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:14.190802Z","title":"Ustun, I","venue":null,"work_id":"80a40e7e-8e4a-425e-97fe-e8154201a9e4","year":2022},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:13.099647Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:2c533fa0b4e903e82b30055d7a7de2579aea2d3f6d6bbfeee0054832ccda5d6c","observation_id":"fb30bb60-cef8-4c62-8c05-69b3d9139474","resolution":{"observed_at":"2026-08-06T05:05:14.251355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:14.054206Z","title":"Willsey, C","venue":null,"work_id":"0e131252-9b1a-4f3a-abda-2f6da3d0d3ba","year":2021},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:13.164612Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:c0f980441039439fb90e9c7649d8c172eb32cbb0db55e832bdde51313cd0b6bb","observation_id":"a155b330-3109-40bd-8988-9c4e03bef07f","resolution":{"observed_at":"2026-08-06T05:05:14.124511Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:13.878692Z","title":null,"venue":null,"work_id":"068de99d-e07a-4b4f-97a0-a324f857010e","year":null},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:13.229815Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:bd603bade6e5f2f770b6f5c8b790b22e7ec3aad3a37d9a938db274b3006ce139","observation_id":"26f1fb6b-43bf-40f4-a256-2bc26f65c60f","resolution":{"observed_at":"2026-08-06T05:05:13.977712Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.05577","last_updated":"2025-04-20T17:07:48Z","snapshot_observed_at":"2026-08-16T12:43:11.651814Z","submitted_at":"2025-04-08T00:25:25Z","title":"BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation","version":2},"cited_work":{"arxiv_id":"2504.05577","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.05577","snapshot_observed_at":"2026-08-06T05:05:13.724272Z","title":"BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation","venue":"cs.AR","work_id":"34ef80ac-b0df-4f7e-b409-cfc367855cdf","year":2025},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:13.325600Z"},"links":{"cited_paper":"/paper/2504.05577","citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:f94ed852853520ac51984d9c8a0f4cf8f623a4c2c78b54c095fcaed970116723","observation_id":"db18602a-bbe4-4033-ba0e-7c78a072afee","resolution":{"observed_at":"2026-08-06T05:05:13.781297Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06T05:05:13.375719Z","title":", \" * write output.state after.block = add.period write","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:13.375719Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:22bfe42c764237936bb82b7d97058449b699baff807590f7056ff621890fa313","observation_id":"b4999b53-06fa-4296-88fc-744e7b64ab9f","resolution":{"observed_at":"2026-08-06T05:05:13.375719Z","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-06T05:05:13.456452Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:13.456452Z"},"links":{"citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:87070a78f1381f56b76e3604e28e31108d2cbaa17fe6a966156b2dc3bff626da","observation_id":"4f76bd75-f458-4399-a111-5e6507e8add8","resolution":{"observed_at":"2026-08-06T05:05:13.456452Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11574","last_updated":"2025-04-20T15:34:24Z","snapshot_observed_at":"2026-08-16T12:40:43.944622Z","submitted_at":"2025-04-15T19:38:14Z","title":"E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis","version":2},"cited_work":{"arxiv_id":"2504.11574","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.11574","snapshot_observed_at":"2026-08-06T05:05:13.648269Z","title":"E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis","venue":"cs.AR","work_id":"a4ebc410-fad8-4dbb-b8d7-de2314671a31","year":2025},"citing_paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T05:05:13.533462Z"},"links":{"cited_paper":"/paper/2504.11574","citing_paper":"/paper/2508.14068"},"observation_digest":"sha256:a4a635911b32cc5080ecd75258df6bdd1d47e7d0209f467d82ef9badd5383c3e","observation_id":"d5e65f3b-324f-401a-928e-e91582330768","resolution":{"observed_at":"2026-08-06T05:05:13.681016Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.14068","last_updated":"2025-08-04T10:09:10Z","latest_version":1,"primary_category":"cs.AR","snapshot_observed_at":"2026-08-06T15:30:53.675533Z","submitted_at":"2025-08-04T10:09:10Z","title":"Revisit Choice Network for Synthesis and Technology Mapping"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":12,"verified_exact":1,"verified_fuzzy":21},"total_outbound_references":35},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2508.14068."}