{"as_of":"2026-08-12T23:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:955d81bdbff0d59698f52d03518174eb2f93792730279f589ff4cb2a89d68991","coverage":[{"denominator":300,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T21:23:45.418655Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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.04142/citation-record","integrity":"/paper/2607.04142/integrity","json":"/paper/2607.04142/citation-record.json","paper":"/paper/2607.04142"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T21:23:45.418655Z","title":"2024 , publisher =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:8f65120522b13141f799ff02d8acdf116cf0d2b48121c63371996869dce48a95","observation_id":"478384c5-28ee-4522-9992-116b6a797fbf","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"International Conference on Computer Aided Verification , pages=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:c8737c62de94da1604cd996497fc9694fe0e9a6d9968843160ec90b958961178","observation_id":"03547901-7cd1-48c2-8b01-1880a80f306a","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"2025 , url =","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:f6f57a63114f67978b07503a5a8757c2c70e27179956fdd88456dc78ff852a6c","observation_id":"b433c7cb-b647-4b16-a7ee-ccc0cac42186","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Proceedings of the 61st ACM/IEEE Design Automation Conference , pages =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:c16c13a19848d6cba88353c655a9dd034bfd3c65d328e8f5114abd2f72e20356","observation_id":"704fd87e-1b73-4ba1-ab25-dbc93402316b","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Knowledge Compilation for","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:5148532825a4b59b3fb7060430672f632a5fd1f8ef27f279779deebf58a79179","observation_id":"4a7b11c0-9a5d-4888-a134-29986807e6a9","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:ee86e3d806877dadbf7a9ff1983818f6464e403d935761803f11bb8a8c322d7a","observation_id":"74c6b8a4-2d2d-4a74-a88a-20a4b1bb7f8b","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Artificial Intelligence , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:d4444d65c1bb5a7ce23c756aaa3dc095c89708c2123a82b75dedf55d0338d29a","observation_id":"ba556de3-255b-4bb8-b4d0-2b89349b1dce","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"What’s hard about","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:456dc30267d383994338053ad195c9031f472f338739084c80c7f9225d94d3c1","observation_id":"5ccf1cd4-be9d-46f9-a8fc-0e3fc0cca385","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:8502df33d107f2a0bf63ca05e8f764cf2ee310f630aecd46b270cc859a8a66b2","observation_id":"00acb32a-527e-43b2-b3cf-b84cd6efc463","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:c014f20f10ef0a3fa3b19b4d07213856a48c355c96346d4c069296c8e9f8f2c8","observation_id":"4b0e86d2-6b0f-426f-9b9a-fcbb38406472","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"ACM SIGPLAN Notices , number =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:36e8d08d6b1c58f09641f7adbd2636800674b06f92f2ec31cc07f649367803ce","observation_id":"ec883871-bbb4-4922-bc6f-64005d63ac4d","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:7f646ddb3343066e4245a380ae3d1cc36e498eff55b7467c261de1d82d417a61","observation_id":"a684995c-581f-4571-b256-a83ce2a7a2a9","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Proceedings of the twenty-third annual ACM symposium on Theory of computing , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:47c9324d75412a57e423aa334e4bc1db52f170cdb37a7bebaf4a5551270ce1f6","observation_id":"20034d53-9abe-4869-b0cf-b45fccbbf8d1","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Journal of Automated Reasoning , number =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:44052cbc36247ca7fe16e074e14248509cc2bd0e931d44432d894ef37083c36e","observation_id":"a69a7c01-ba17-4664-84ad-8d461d323613","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:a631f4975489b842ad816e0e7648c4d8fb9143f4fec23ebccc501e48ea04e183","observation_id":"81be268c-f27b-4621-aece-90fd6d00f4ea","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"SAT Competition , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:8986441577d647dff28a85e2e0803c676b0fde0166733b6d20731c5c3bfcd003","observation_id":"2e452b12-a177-483d-96c7-6117c02137cd","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Twenty-first International Joint Conference on Artificial Intelligence , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:14ab3955beeefec9a4f82e8681c44b30dc3c4bd3b7bed368275949e1e0230850","observation_id":"bde6d416-db68-4ebb-af22-bd9c693d7923","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"International Conference on Principles and Practice of Constraint Programming , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:cb9a5ad506cf35c23b1400d6789baea84d531b8df521f4c6bb11625f3d14ea59","observation_id":"0b2bc0a9-835c-4364-ab45-27207e870b31","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"International Journal on Artificial Intelligence Tools , number =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:be691ac738832bfad8c5cc72e66d33b73ce1eb25b36daf83516f7cbbe6c9f639","observation_id":"5508a006-a23e-4037-9040-ba52245fcec9","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"International Conference on Computer Aided Verification , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:1977f11ac1b004c82deb7235a6a6760e279d317022ac20cbdddf6e3653a4f581","observation_id":"49e02b01-6fe6-4c24-a14f-356f81ccdb01","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:f2f4a8e14a3ea3d99b593b2e524ed4a14eb6a14e6e9913d399d82ba8757024ee","observation_id":"f984961d-f1fa-445b-a874-5e21e1fa6135","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Mathematics of Operations Research , number =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:9d0acb2aec0839ee2f4cde3069c68ce13f4daefcc1db7f6945723e6e069135cc","observation_id":"7b3052b2-3ff5-48d3-9b0c-1b1be2e4f343","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Quantitative verification of neural networks and its security applications , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:cc3ec696dae85b8abf853b662a80d7a860b606b7924038873ce2549fb7285121","observation_id":"f85e51a5-544f-4894-9f61-655c053674e7","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Thirty-First AAAI Conference on Artificial Intelligence , year =","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:06beed0862f4ab0f2af5d33c6df2412a19d120dc4e0902652000e45297b32cff","observation_id":"2fa728da-a6b2-4da9-a316-cf09ac2e35d7","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:4deed6bd67bec67b1c2a0989f03617164db04109691107228699b95d1ac404d7","observation_id":"4cabd2c1-86f3-4c0f-9c1f-36f36a5a827c","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Satisfiability modulo theories , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:81a106849e878acd588af5fdc8509192c810168a926177785ad025cc1754b449","observation_id":"cd88c8f3-3e50-4498-9ddc-b137885bd7b9","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"The multiple facets of software diversity: Recent developments in year 2000 and beyond , year =","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:9803a93bd28369ac5a02bef25b0ff8564580baa40abd8a5e9595a9ced333e24e","observation_id":"a435bfd1-f093-46f6-bf62-2c6e3969c874","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"AAAI/IAAI , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:5f97773df106575fcbc10aa7836351e220320b73d3029e1e3e11e8e0ad1f4557","observation_id":"c50cdccb-4ea2-48be-949a-90e28cbd6cfc","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:8a5121d297a9b0d7ea2722962f90d65f3c6df43af011edc58bb7d91544861af4","observation_id":"60b88240-fdc2-4ecc-88f5-6cbc6b4c5e58","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:25b8fb8a00b043baa2f32325f4e8c1dc5d242273f98eda50a545a194f4215e17","observation_id":"21cfb35c-aa95-4787-8555-1f6c9532bfef","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:a486f2456621e3767219567cf681eb2a2bd60e62ce33897da644e78c888fcb91","observation_id":"203f6d2a-1f28-48a8-97c3-e226ff4cda26","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"bioRxiv , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:13e2348dc6baa860ba834684e1b3677098268771fb8d4745c76bb38920ccc5f3","observation_id":"2fa3b5cc-c941-4f03-ae0e-6dd7ba71ffe7","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Automating the development of chosen ciphertext attacks , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:b63f6dd44e852cea7d99462a95f293993eed34821803b5c3cfd4d2de63fb79a0","observation_id":"8b634597-3917-4316-a785-37846d1cdfaf","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Advances in Applied Mathematics , number =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:a6d04eb2aa7751f826df2bb5b4937e3a1df7c4f39c570067f0ce11debcdb007e","observation_id":"65909aea-a948-4a8b-9323-8c0f0721f5f4","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"International conference on tools and algorithms for the construction and analysis of systems , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:e1ba28c8deff3e88c30cf410b18d2c9bc21ae998efaf348bfcdda58ea2d24be1","observation_id":"76e0c748-06e3-4cba-96b2-51072d7f9dc1","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:8321808a4b7192ea0ab1581a987854976d27c68d5273469cec93e48e5b113484","observation_id":"a981dad4-3b61-4495-8d70-aabc27690a0a","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"International Conference on Theory and Applications of Satisfiability Testing , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:7b54720f928d9c2107a283c420fc8ccb53689eb071a00113e47fcaf52b464f06","observation_id":"7dfc204f-84ba-4f50-821d-c6f99ea01b25","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Pragmatics of SAT , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:969dcea9bb4308ad5e7ea9fd28179f52fc37729d5b4e0abf101b34500f021238","observation_id":"897c7609-3319-4d5e-a63b-473a579361f4","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:56b285d404afe1988e5b879ac40daf0f6017a92d90a431fdc52a65459818a2df","observation_id":"dbea3bcd-e72c-450f-9f05-0f495846a4df","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Resolution proofs and Skolem functions in","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:fbc79d7b826ffed368e7948b2a39f5d5b5d96d56b4b3ba8960686f269843a1ce","observation_id":"36cadc80-e2bd-4385-9094-a9b61e7ac48e","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:9730fafae0216ac4d5bd17fd922aa46e70180d92e204349488fb5254f4a64e0d","observation_id":"53a47d42-3536-4788-a1a6-e048fe70de01","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:f276bf1b38122f6e403befbaa2d4b86c0a092bdd5789a407a4a170a98721877a","observation_id":"27b198ef-a8d1-46db-b9b4-700bfae7f83e","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:b484779406ed9012117a844064d0ae025b3775ee8836560c286096bfc4edd2ad","observation_id":"0ca1386d-62e3-43a0-9026-98d1d8617f8e","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Algebraic Statistics , number =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:d8c9017df140805cb241c310fd802816091f017018a34b6c39836353b044617b","observation_id":"66caea35-cee5-4294-9fed-b3ac6f6a878b","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:fb40d8ede313f641822892d9ada79b2d5c7a7fe9cda6981b1c74335381ca0576","observation_id":"b7ea4f61-1be8-4067-9499-5419805e073f","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Israel Journal of Mathematics , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:4dcaedb1c8581e00718b5f0f8e601418c6a0fcdeaf6790f385eefee971192f57","observation_id":"451a79ad-138c-4efe-9f0e-a809c315063d","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00236-026-00535-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2026 , publisher=","venue":"Acta Informatica","work_id":"e00f7422-0cee-4743-99c3-9458d0642271","year":2026},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:344a5de7b5d87d09d1db1efb7b2f71552d754dabf92bbc83d260cf5b125f1b9b","observation_id":"cc657605-1808-45d6-a183-7fdabccf7289","resolution":{"observed_at":"2026-07-11T21:28:17.641171Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-12T13:19:39.679613+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T13:19:39.679613+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-11T21:23:45.418655Z","title":"ABC: An academic industrial-strength verification tool , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:41f9d0397848154a5185d10c52ed83d566831078f552a520ca237efbe7431a92","observation_id":"86d0c56e-b0bc-4a0d-95b1-4fe8a45785a7","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Boolector: An efficient SMT solver for bit-vectors and arrays , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:b01b9f9fe03a2f8bffed7da3ef141f17b9b70d27d790e51d38567645d7083cf8","observation_id":"de098eba-874f-4642-adf3-89b223a0dce9","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:cb38f7733bcaa0d26260c3870e32b85d6a6f2c9e4a06fbf49091af5eda14abbc","observation_id":"52006f8b-deab-4f4c-8b69-8dada052ff35","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Handbook of satisfiability , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:7cd857ff3539a3e070ecf12018e39bdb015b857c9b8d178ecc03ada1ac9aedf5","observation_id":"abce0d8c-fb32-4ef6-b9b6-79800a1bfa09","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:cfa8b1a7afaa38d31cfce4f07997822c95c2375838e73ae7860f626b67b1b8fb","observation_id":"065fa715-cc86-4ae3-b1b7-337d0f1c7d00","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Symmetric weighted first-order model counting , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:376bcaa24cf53e87d95feed24c3964ac5dfe7afbcc5106a4159255632c8ce30c","observation_id":"68a4d1bc-3f1a-4908-9db7-a92fe2c914ac","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:20d01fbd430974c764646acbf67b5cc6d4b0a70e0b19f576ec28877d046df9de","observation_id":"4f391b02-31c9-48ea-be71-10a0a55f071e","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:385ca996678b6d81d48873b08b2e7ac63a1fd72bdc419089664cdb797746d186","observation_id":"7a400dbf-f995-44b9-ae6c-6bf05b3291a4","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Artificial Intelligence , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:f72408f532e4d229829a26d527d930dca858b8780531e0bf649f28ced1b245fd","observation_id":"9262e480-1169-4428-950a-549c614f7aca","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:5f5ed9cb5af42e1a2ba7906bf9e7936b63dcbd2bf98f1fb0a3d845a6718b72be","observation_id":"bc9b9548-75d6-414a-a6ef-2b3cc4a37ab5","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:fb265b1df194ce87a724ceb9f15bac9d35e12fdc4c1807cc13c3f9abdbefe443","observation_id":"e2026bac-2fb2-490e-81c7-c182bdb49dba","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Proceedings of the international conference on automated planning and scheduling , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:e8c070140744b131c47511c21f040f1d450abeda0ed2d2b257de582af42ef09f","observation_id":"17eba6ea-babb-4257-a5ea-e5dbe1c61988","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:f46a6fd9fce5705822cbb71ce2740ba5a4947c8a1084aaa5246827307c9163ab","observation_id":"2c7953b5-567a-4836-b96b-b4c2c3eb11fd","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:686aad7304955667f0a9750b20f9b26aa11efc7985761606e46cadc9ed39af3a","observation_id":"c27891e4-16c1-4ee4-a8a7-e7c22d461a8a","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"and Meel, Kuldeep S","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:b1901c008229fc31dc2be1df35e014f542d4736a98a4133315a8ba7808e26c7e","observation_id":"b70d8a30-2897-43e8-acc3-64e75a478d73","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:d1cfbdb60353082800f2b0703a6dfbc839eca47ce899a3b251a6e8de967ed6f0","observation_id":"a4853c16-f912-49a5-b953-3e5eca60ca5d","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"A scalable approximate model counter , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:fae716aaf2114832069078fbf6e8c088c97a099fea75514a5ef951ff70a7aeb3","observation_id":"89cb9cf5-225e-47a4-a4bc-1067e40294e5","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:56a78a3f26567e88000cbc694a6cd954829b333941f8381910c6d092b1d21154","observation_id":"695f49b3-bb2b-4355-a0b7-f2efb7382187","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Approximate model counting , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:d4473e06192945f3128d60d13a58fad88314159ace384f68ce234c89cebbd929","observation_id":"24a430be-d422-47d7-b707-11456f7721bd","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Approximate counting in SMT and value estimation for probabilistic programs , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:c3de410b1b2f47f22aef3eda31a65c9517b683a2d14a128ecd4af1889e1bfa2f","observation_id":"2f8949f5-5f6d-482d-96f1-2d8bc7e1605d","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:6d7142b82f7d8bba3dc7055948d6fe2c75d6ad0eeabb76e6236d274d0b74a7aa","observation_id":"2032a884-cbe2-4f22-8db9-00bd5c9573b6","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"International Workshop on Fast Software Encryption , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:61a3da1d234ff6611273020ae1e6f3d3a6bc5bd5bf8f86b93c1cfffdee710691","observation_id":"fd429d24-a85c-499f-9997-13f0e3905aee","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , number =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:35e6fa168bfebbc09b83c74cb8b948d969820cb7407b9335fca6142bc23cc582","observation_id":"969a8db7-f1d8-4ea3-85d1-af5fabdb5e19","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:5173c802756568282a62509b45dec6293286a3775eabe89a7d67ec388742e8b5","observation_id":"7fa6845e-102f-4ee7-bfb1-969258b307d8","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:026da8bd446251a8229a82b426c91cfa082cfb5da921dcb8e67c6113899eca6e","observation_id":"ca9c52b9-a8de-4d2c-b127-986ad95b3a10","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:7886fc5221837dfe5ee794db70a1331faca43af16f2a8cd167a45ea914d5fa8f","observation_id":"4bca6a25-c247-406c-9826-010d9717737d","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Proceedings of the AAAI Conference on Artificial Intelligence , number =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:5f2f658a89f2b1c63296d0462a6fc2f7c15d4c3ce2284b9b9352cfc77a3f5169","observation_id":"7bdce3e3-d491-4152-9c2c-475f57355c17","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:dd3ea1bb5da08205621a0454dbbcf8a7d48ed701f49263b5c2a7dddfd4ae6050","observation_id":"82fcc19b-f6d5-4e00-8140-3af8a561bb9c","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"and Vardi, Moshe Y","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:87eba4a3177aa6e0825ee72bb61d38b7fe1ed8efc49e94659ed87561e64c73d4","observation_id":"4cf6fc06-12a0-4337-a5e6-21f7f61912c5","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:4a06dc84533ea9b26a8e2e9e06465bef0cce8e9fb91d5da0871c75a464712691","observation_id":"704ac8c5-4dd9-4ab7-93f2-fbe5e8d27bc7","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Handbook of Satisfiability , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:a19fceaa7b1dc372ed59e15646f7b0155b2c87867e7219d19c49931d65ac5804","observation_id":"29c833bb-12a3-495f-b898-d8459cce724a","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Journal of Artificial Intelligence Research , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:2fd1b0ac5529c5a01ef9b8bdbaaf46adbc0ed5a5db71c2a44936bc5d663a6ed1","observation_id":"d902144c-4bd2-47ef-bc22-34f19a132507","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:b17e7aeb807882c4f564d2845759a9ad0c7455059f36374e159442205ca2c68d","observation_id":"141f073b-156d-4562-aa6b-84dc400870d1","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","resolver_source":null,"status":"parse_uncertain"},"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-07-11T21:23:45.418655Z","title":"Proceedings of the third annual ACM symposium on Theory of computing , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:968bc46ee9d8bbdba85bc350676257122c1849ee6b3d104fb74ef81bb455919c","observation_id":"2058137d-1e3e-44bb-81e5-bbcd6061c001","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Quantitative Evaluation of Systems , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":82,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:6f3731a6853f20649781c0e203eabe1670753632a47e9d460b8298e5d965142f","observation_id":"8524c617-0b5f-4cd8-a7c3-52d9dd18a598","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"2016 , journal =","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:f53df45afd4e9e4df07894b6fa3ada50a620f202d507f1dc2e923e2ceed8d805","observation_id":"0795d4e7-46c3-4935-8aee-3aa1d627303f","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Gaussian Cooling and O\\^","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:2fd44be148afef9a78b5d85d359607f43640099ac07a3c45ade623554d327158","observation_id":"b37a705b-b92c-4333-a634-3dffd58f49ca","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:9d5b7564d1cb4471255b8d7e68fd82bf060e9506a7b5657cbd67c7eae35287f5","observation_id":"5af32ec0-2787-411d-ae7c-f0391fa754b9","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":86,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:9accb2ac7392c10ef9ee4b545993e4ff00f46e861a9d2f2b86841de0b56dc600","observation_id":"37a5da36-da5b-4b81-9574-4531ba397204","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":87,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:44d90fb80b393d2b57a9b38abf22a0c8549fe4e51e780a3a37b368d75bd74425","observation_id":"bb74b4c8-0dac-4de0-935c-0a712fc36d79","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":88,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:f45dc7a2180e94808659f0995cd5524d743888cf4a97a1a1c4e8afa80db780c1","observation_id":"75c48181-2668-4748-8f17-867a590070b3","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Communications of the ACM , number =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":89,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:6d6ec70b79c914bd0f69b41b48b761069c0eb0f7638b41fe4f966a63312f6ba6","observation_id":"af092eea-1eb9-4519-a83c-03ae99a8afb8","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":90,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:4661bb5a4bef97e8f8f063a4adda04468a8dbc568e3f3e16da6c1f81b11d57e0","observation_id":"71645ffa-4540-4d11-b131-c37bc50c9517","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":91,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:0fb3969ef1ac6bc3f100dfc365e5ec12abd8181ff9689de750138167dffbc7e5","observation_id":"62e3b430-9fb0-47c9-a056-16360e525810","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":92,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:b961c0435537e9010f47bfe2c806a2b01395dd93f3ba3d6871d61f76b2b024db","observation_id":"ba01b470-f4c5-42ff-9b89-9969645d1d46","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Journal of symbolic computation , number =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:7bca847896b495202d03f4f6d49586b743a554cc75afe988a037707a82cbda77","observation_id":"23f1b1eb-67b8-4cef-8776-6b4d1f7b771d","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":94,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:10169baa00100fdd92bed899ae4c858984cf0d4303c4577e32a3195660f62fb4","observation_id":"7848e0d7-8a9a-4169-8af4-81dd3cff21c0","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Journal of the ACM (JACM) , number =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":95,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:d81208e9d3bfa381a2e7ba082bfd5f9a46949216757a8534725fbb31e934cf13","observation_id":"2fca389e-7c5c-409f-8cc9-3641bf4148b1","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"Descriptive complexity of \\#","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":96,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:f93fefe66ab136ed443bb33c975c36f95558145b91611daa1d85f0c6239e192f","observation_id":"173cc3ec-9b46-4fa0-8034-01723868a88c","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"An optimal algorithm for Monte Carlo estimation , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":97,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:bb3683359654b388a2a3de47df62ef3826b1119514930a24321e028fdd3d3eaa","observation_id":"ba3c5056-6b37-4acf-b8bb-352a403f106a","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":"An optimal approximation algorithm for Bayesian inference , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":98,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:8a49f047c8f7f6a692b50733ea2fc7b706fc3773c12297e99ca99f1d21164c62","observation_id":"1ae5711e-26cc-43da-a0ad-5a73f233517b","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":99,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:3eb39ae673714cf2f9f5b544b19fa115a3e199699582d65f3a68d6b8e15a201f","observation_id":"a3c3e6c3-8caa-4224-b81f-7713f7f0c309","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","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-07-11T21:23:45.418655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors","version":1},"reference_index":100,"source":"arxiv_source","source_observed_at":"2026-07-11T21:23:45.418655Z"},"links":{"citing_paper":"/paper/2607.04142"},"observation_digest":"sha256:3c2352e579fb60759eb405ea05d50b9748e479ad2a55a1958d56100b6f0b6547","observation_id":"4494103f-71d8-40b9-a4cd-27a3ca0edd1a","resolution":{"observed_at":"2026-07-11T21:23:45.418655Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.04142","last_updated":"2026-07-05T07:02:03Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-04T05:24:43.108154Z","submitted_at":"2026-07-05T07:02:03Z","title":"CSB: A Counting and Sampling tool for Bit-vectors"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":98,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":300},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 100 of 300 outbound references and 0 inbound Pith citation observations for arXiv:2607.04142."}