{"as_of":"2026-08-19T14:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4e4eacfad9e40abf4cbabfd61bc0a5405bcf60a02a5c3927ae3fb3844d2dbf9c","coverage":[{"denominator":55,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":55,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T23:04:16.725226Z","state":"measured"},{"denominator":56,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":56,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-20T18:55:38.189954Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"cited_work":{"arxiv_id":"2508.06264","doi":"10.48550/arxiv.2508.06264","metadata_source":"arxiv_reference","pith_arxiv_id":"2508.06264","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"https://doi.org/10.48550/arXiv.2508.06264","venue":"ArXiv.org","work_id":"3b84bab9-8249-4a1d-983d-48644524c626","year":2025},"citing_paper":{"arxiv_id":"2605.16509","last_updated":"2026-05-15T18:05:47Z","snapshot_observed_at":"2026-08-15T00:07:29.395119Z","submitted_at":"2026-05-15T18:05:47Z","title":"Quokka#: Quantum Computing with #SAT","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-20T18:55:38.189954Z"},"links":{"cited_paper":"/paper/2508.06264","citing_paper":"/paper/2605.16509"},"observation_digest":"sha256:71143d9ba18e79d3418047737bd822cbf9f75945d2b58a4facbe2b6ee85b0c6c","observation_id":"6e23212c-526c-4d54-b92c-fd1cb506d697","resolution":{"observed_at":"2026-05-20T18:58:53.158363Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-05-24T01:24:28.39646+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T01:24:28.39646+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2508.06264/citation-record","integrity":"/paper/2508.06264/integrity","json":"/paper/2508.06264/citation-record.json","paper":"/paper/2508.06264"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:26.211155Z","title":"Interactive cost configuration over decision diagrmas","venue":null,"work_id":"3bdc5d8d-b5c6-4dc3-9d3a-0b40f4c13569","year":2010},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.399723Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:8cc6446d426638a1f5a52ea9e062e3df39ada48e92c7dd5fe9e7db41dab69a86","observation_id":"c0a244be-2c21-48d7-99aa-b32aeec8601a","resolution":{"observed_at":"2026-08-05T23:04:26.307466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:25.979920Z","title":"Andrews and Sarah J","venue":null,"work_id":"9d0af008-863d-4dec-9d34-17795d3c2c09","year":2000},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.405092Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:11f4e28a8fd52ffa1c0038304daaeba8b4570d978624e90398d0f48aeeb58eeb","observation_id":"bfcbf84b-0be1-419e-bb45-a11fae6434dc","resolution":{"observed_at":"2026-08-05T23:04:26.087977Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:25.800438Z","title":"Lower bounds for exact model counting and applications in probabilistic databases","venue":null,"work_id":"88181ebf-648a-480c-a3fd-02499ebd1994","year":2013},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.409468Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:fdd33b3662da0a45374271e767ec4b5d5e599affb38f2288c58b2a35f505e5f8","observation_id":"0d8439e5-39d7-4f66-8e71-9672af6c863f","resolution":{"observed_at":"2026-08-05T23:04:25.869159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:25.576172Z","title":"A verified certificate checker for finite-precision error bounds in Coq and HOL4","venue":null,"work_id":"8184c687-a906-46df-916d-e03cd41ee1df","year":2016},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.413700Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:cf18d59ac7f32660c86ff50963037cc6e4f989006c756f4e76ab00e8fd878006","observation_id":"18a4619c-c843-4dc1-96ef-494f9df83fd4","resolution":{"observed_at":"2026-08-05T23:04:25.684384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:25.383390Z","title":"Automated analysis of feature models 20 years later: A literature review","venue":null,"work_id":"0fa20a4b-2733-47b1-9859-ba2d9a300f91","year":2010},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.418254Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:261bf62c1b9538a0cbfc0a8b0fd8494134fcafab851e8421c31ef7ab968c012a","observation_id":"75aa8f6f-a151-4c02-a186-6981fbdb500d","resolution":{"observed_at":"2026-08-05T23:04:25.493951Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:25.175657Z","title":"Cire, Willem-Jan van Hoeve, and John Hooker","venue":null,"work_id":"4004b3b6-08d3-439a-9093-4ef692a770b2","year":2016},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.422744Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:fff92796a3b2fdd02168f67e676db06e3800ef17037663ad7d4c3ada78876701","observation_id":"a3f5cf67-a465-4093-8a6f-54c6af888086","resolution":{"observed_at":"2026-08-05T23:04:25.264378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:24.954014Z","title":null,"venue":null,"work_id":"cd8b9126-c6a0-41a0-96be-3cbf2cc2a512","year":1986},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.427188Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:ef96a3b15e6782264eff2a54e7f6906c1012722a8c093f566c20c7b394ec45fc","observation_id":"b3f424e4-d3aa-4ac8-815a-ce0f2439e050","resolution":{"observed_at":"2026-08-05T23:04:25.092287Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:24.704795Z","title":"On probabilistic inference by weighted model counting","venue":null,"work_id":"d7383923-da44-4fb0-ac98-ae24687bf606","year":2008},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.431024Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:65841b99b7e894a84733661c4ce94bfbc330276158bc3d27f1e26a51ad917f8d","observation_id":"973b64de-5853-4ce0-9fae-34e79b3ba059","resolution":{"observed_at":"2026-08-05T23:04:24.825468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:24.477474Z","title":"Decomposable negation normal form","venue":null,"work_id":"4d171492-aa97-4d97-ab1c-737e9086afdb","year":2001},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.434972Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:cf9357be32bbeec262a704c04008e4d3e16c0eadf1d96270089292ad4d0c1967","observation_id":"a4ebd960-4bf0-4ab8-ba67-582e00be1095","resolution":{"observed_at":"2026-08-05T23:04:24.583182Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:24.258884Z","title":"On the tractable counting of theory models and its application to truth main- tenance and belief revision","venue":null,"work_id":"8b0ab4db-403d-435e-a76b-1bee867f7094","year":2001},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.438891Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:603a069dff614c2745b20dade3f1ab3109ae874143f962e70e1a0797cec7052c","observation_id":"6493a4ba-907d-41b9-b0b5-8e1fe3d3f2a1","resolution":{"observed_at":"2026-08-05T23:04:24.368534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:24.079681Z","title":"A compiler for deterministic, decomposable negation normal form","venue":null,"work_id":"df19b7b0-b9e3-4b64-b559-49f66eb6a73f","year":2002},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.442566Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:79f539e3e9d4ba53e477aac7ce95f3066e24e29923fc64c07b5548693e0594cc","observation_id":"747db3be-76bd-42bf-bec1-81f8d3364dc7","resolution":{"observed_at":"2026-08-05T23:04:24.176545Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:23.761459Z","title":"New advances in compiling CNF to decomposable negation normal form","venue":null,"work_id":"925fb22f-2473-45a6-a6a9-e59a1fa5d1c6","year":2004},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.446251Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:5f07cb0fe8c62dde22bf703246454171917db8fc6f2e0fe3a945b7ed2c516edb","observation_id":"ee26e8b1-823a-4432-bd30-5dd5d7f219db","resolution":{"observed_at":"2026-08-05T23:04:23.914672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:23.423538Z","title":"SDD: A new canonical representation of propositional knowledge bases","venue":null,"work_id":"50c57160-1f30-46e6-a922-7d0b6b5be14d","year":2011},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.450312Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:4e663ad54128aa3fcff2ad799088943cc79aaeb0a46b775e4e8c49513e91cdb9","observation_id":"b2d0cfd6-0e91-4791-846d-2f392d135fdb","resolution":{"observed_at":"2026-08-05T23:04:23.610092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:23.081994Z","title":"A knowledge compilation map","venue":null,"work_id":"caa6b070-989b-45c4-8189-c1cc6dac84f4","year":2002},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.454246Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:c095affa9811b2e81d47c40d5e1d48527eed448264a73309711b098921239dda","observation_id":"c7333187-c48f-45e9-865a-0c34df05a069","resolution":{"observed_at":"2026-08-05T23:04:23.252145Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:22.894365Z","title":"Probabilistic planning via heuristic forward search and weighted model counting","venue":null,"work_id":"26e9a067-0397-445f-9ed0-bb04c00a9377","year":2007},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.458203Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:69ea4ad04372aff565d48f3904e649c96cf1f0e2ba4b11faf3c625bd77226dc1","observation_id":"1f8ce06c-765c-4db0-9e90-2d73884f85c4","resolution":{"observed_at":"2026-08-05T23:04:22.973424Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:22.625989Z","title":"Anytime weighted model counting with approximation guarantees for probabilistic inference","venue":null,"work_id":"30894f47-584a-4f45-9a72-642786401265","year":2024},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.462060Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:685c1950d82ef1593c0046ea44e3dd8b12a40c1de8ca0966ef22dbd0a5d26076","observation_id":"a0feaccd-62a8-48cc-9163-0cbdd441f295","resolution":{"observed_at":"2026-08-05T23:04:22.752303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:22.379726Z","title":"Dudek, Vu H","venue":null,"work_id":"090547df-2ea1-4914-81de-280d1a5aa161","year":2020},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.465787Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:956a338a54049b9e4279aa95ce92de226106ee301f22e7a80671408cd4ba42da","observation_id":"5f0a50c6-5a5d-4f6f-a48a-30e9fd15baff","resolution":{"observed_at":"2026-08-05T23:04:22.508483Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:22.166213Z","title":"Dudek, Vu H","venue":null,"work_id":"64078733-f683-42e8-b931-2776ea8c48c5","year":2021},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.470025Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:0b4ada9c1e825a2ccb75684de3a2a1c1aad5cacddaf21cb9d35e1588dca87433","observation_id":"abeeca71-f75b-4dac-b80f-a5e1f449eab7","resolution":{"observed_at":"2026-08-05T23:04:22.259299Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:21.967640Z","title":"Fichte, Markus Hecher, and Florim Hamiti","venue":null,"work_id":"0f4c9583-15eb-4dc0-909b-1bd2adc26bd0","year":2020},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.473857Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:d0b30b1035fe7fb6e0a3312154f0a9308fb3e7dc2cce5f4a7004939e2450bcea","observation_id":"5469e57b-8102-46d4-b84a-339741d5d96e","resolution":{"observed_at":"2026-08-05T23:04:22.055612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:21.749029Z","title":"Gomes, Ashish Sabharwal, and Bart Selman","venue":null,"work_id":"e14f7c14-9997-47a2-9400-0364ba75ce97","year":2009},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.477691Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:9051c484e09ede48030c9ba1453de73aca508f34f39be3e671b86b8f42273669","observation_id":"0e84e17a-5011-4fd5-b7e9-92dcf8d6c0da","resolution":{"observed_at":"2026-08-05T23:04:21.851234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:21.567610Z","title":"GNU MP 6.0 Multiple Precision Arithmetic Library","venue":null,"work_id":"6971d698-ad6e-4d7e-8d20-a5da59524864","year":2015},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.481522Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:2564781b325ebec825665584d18c7e329f4d531338c77912cc95412f8fa3a611","observation_id":"e797d130-553f-434b-91bd-fa099d9a6be4","resolution":{"observed_at":"2026-08-05T23:04:21.655552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:21.344261Z","title":"Groen, Carol Smidts, and Ali Mosleh","venue":null,"work_id":"b5e5b577-54a9-4e73-8644-da277e02b2a6","year":2006},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.485185Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:563e89dde195bb6840bba25e7313f4b94a7494bb95358c26010043f0b64b75c1","observation_id":"9f95f4ff-4000-4e2b-9037-84ce8ef1f343","resolution":{"observed_at":"2026-08-05T23:04:21.444767Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:21.158981Z","title":"K-terminal network reliablity measures with 23 Numerical Considerations in Weighted Model Counting R","venue":null,"work_id":"67ee7e22-ae65-4aca-8019-a14005e2f38a","year":2007},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.489168Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:1c0d31247b6a500cdf3026aafa743a05a7857f02cca8ba4264826fd2502b4afe","observation_id":"83ef9bd2-65e3-4524-8b55-ebb56414075c","resolution":{"observed_at":"2026-08-05T23:04:21.241271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:21.044697Z","title":"The results of the model counting competition, 2024","venue":null,"work_id":"45caa001-f843-474b-ac15-0d18f8b4855c","year":2024},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.492852Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:178352ac755c7fbe94fc67dda328eddc5eb66c3100c495040304b534dab1fb1a","observation_id":"90db3a8f-2682-4b25-8a46-312ce5811d73","resolution":{"observed_at":"2026-08-05T23:04:21.108272Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:20.935137Z","title":"Hickey, Qun Ju, and Maarten H","venue":null,"work_id":"3943317b-0e2c-458f-8033-7b6ded37104f","year":2001},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.496476Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:297bb985a111da289bab4dc61024872293d8bc00f56b6298c129783c9d67bc46","observation_id":"5870c772-a782-4947-b337-d6ba20337d0d","resolution":{"observed_at":"2026-08-05T23:04:20.990846Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:20.742285Z","title":null,"venue":null,"work_id":"3a7a2329-9376-47cb-b7bf-77d22cffe465","year":1993},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.500222Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:5933b88668d419df4bc14ec35042c161c536a3fc70952a6def98c0302f2c088e","observation_id":"7b375555-0d13-4ebf-9279-eccfd6cec1b5","resolution":{"observed_at":"2026-08-05T23:04:20.828473Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:20.613793Z","title":"The language of search","venue":null,"work_id":"681a6236-dde2-4824-9232-bbd864e97ab8","year":2007},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.504295Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:547d91e66a73c7ae2d5517a01a1498d07a8ddcd8ef62018d7cec970436ea9af7","observation_id":"73c18137-b5b9-45d5-8887-659b0a785253","resolution":{"observed_at":"2026-08-05T23:04:20.651587Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:20.477860Z","title":null,"venue":null,"work_id":"4d5fcd2a-a9a5-4568-8039-69f684bb580b","year":1991},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.508158Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:0cdabb252b63af85d46902fb777bddd1050b7c169d9a008b7db11b7c67783d3a","observation_id":"0294c652-cd67-487a-8149-37441a772fa6","resolution":{"observed_at":"2026-08-05T23:04:20.535668Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:20.343954Z","title":null,"venue":null,"work_id":"257bf878-7c2e-42b9-bdd3-905165c5caf9","year":1981},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.512233Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:840260c700a5e5fcd212af9eb82af497ad69415ce2815abd9738ff35777d2ad5","observation_id":"d5e495fe-ed6c-4d54-955e-910bd75e8176","resolution":{"observed_at":"2026-08-05T23:04:20.407532Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:20.227183Z","title":null,"venue":null,"work_id":"85d02dd5-fdd0-46eb-b3e0-fc71b6118706","year":1981},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.516030Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:3fa879ff9633d5857e1daa26c19c96fa2c99f7da7cd4be1d35a9d483e892763c","observation_id":"4ba42c0d-c7bd-476f-ab03-d9212a66c607","resolution":{"observed_at":"2026-08-05T23:04:20.281637Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:20.089880Z","title":null,"venue":null,"work_id":"0048e969-a64f-4c54-b184-e4c964d15943","year":2011},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.519941Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:e3c19185e580b88889ced27e485d6a6ca1229872752b54f4647421b3da1aa887","observation_id":"24e7d210-06c3-4d7c-9ab1-c30f0e0fa4cb","resolution":{"observed_at":"2026-08-05T23:04:20.145565Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:19.952412Z","title":"An improved decision-DNNF compiler","venue":null,"work_id":"b8552e1e-9ed5-40c4-a988-81152470df83","year":2017},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.524145Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:687896fbe80bfd2363013fac089b7d8e192ebfcff37266b99cf8b1ed961e57f8","observation_id":"9824e39f-315d-45a5-bf0b-de304bd631c7","resolution":{"observed_at":"2026-08-05T23:04:20.011816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:19.840310Z","title":"Certified roundoff error bounds using semidefinite programming","venue":null,"work_id":"5117e9ba-b9dc-4783-bbc0-ead21885841d","year":2017},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.528093Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:e3a5f64f7e9e03daa8831c2a4c9f2ce04458e37fbdac3af0b2c30738d2ceedbf","observation_id":"11c308ca-b75c-4bb2-87b1-40da83d760a3","resolution":{"observed_at":"2026-08-05T23:04:19.898591Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:19.710011Z","title":"Zero-suppressed BDDs and their applications","venue":null,"work_id":"9d16c946-4d10-464e-8a9d-77d3d784e86c","year":2001},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.531896Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:8efbab832aeb3f9f1556066e12a3b8a15920e4fe4a66b6bfb233233e84d9346d","observation_id":"96d93d35-3337-439a-9431-06cfde0b8493","resolution":{"observed_at":"2026-08-05T23:04:19.770554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:19.585306Z","title":"Compiling Bayesian networks by symbolic proba- bility calculation based on zero-suppressed BDDs","venue":null,"work_id":"aea5e14b-65f3-4ec0-ae6b-e5c002a6e2fa","year":2007},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.535601Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:451a2fcc937bfeeca2cc0d357e8be3256a7e73d23c5636b8ff204a587a234151","observation_id":"1bdd4a34-71f5-4285-b932-f6577299949d","resolution":{"observed_at":"2026-08-05T23:04:19.635867Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:19.462759Z","title":"McIlraith, J","venue":null,"work_id":"d85764b6-032f-476b-b47c-46dcae4e4af5","year":2012},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.539572Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:6987eafc4371d053fd1efee0a4ade8a874f42e67d52f2cc26e3f52012650e906","observation_id":"771b4deb-5ff9-483c-bae5-06ccc6db3d5d","resolution":{"observed_at":"2026-08-05T23:04:19.512981Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:19.330476Z","title":"Handbook of Floating-Point Arithmetic, Second Edition","venue":null,"work_id":"4c0cbb5b-256e-4ff9-93b9-84ee2e80e3aa","year":2018},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.543458Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:7905b0da9f08972f6709d8c2554c80bd49ae921f8a3961e150d9d4d3d752a104","observation_id":"c807b491-8c43-4666-b44f-04fafc42aaa1","resolution":{"observed_at":"2026-08-05T23:04:19.391072Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:19.198824Z","title":null,"venue":null,"work_id":"34a5413c-78db-4250-9fd0-13e3742a7cec","year":2001},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.547097Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:01f13f062d905e0d3157e13ee2c518110b65fd8a05fb889be66a9dff22ca3f71","observation_id":"6d418838-922e-4cf7-824b-5c3471b69db9","resolution":{"observed_at":"2026-08-05T23:04:19.258927Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:19.066789Z","title":"On compiling CNF into decision-DNNF","venue":null,"work_id":"148fd75a-45f4-4387-8e5f-4a03641bedf7","year":2014},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.550779Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:baefa5fdeccf91320159ac9ffde4cf727789f7b8ca7b5aa1964d829fd0bae029","observation_id":"db0caa77-d253-44b4-b1da-0b97eb05b469","resolution":{"observed_at":"2026-08-05T23:04:19.134905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:18.889270Z","title":"Motivations for an arbitrary precision interval arithmetic and the MPFI library","venue":null,"work_id":"937454bb-3cbd-47d5-9e25-4ba854d61780","year":2005},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.554515Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:caeda32ac50071de4e93f8e8f6ffac59fc32ae926b664a724fcd0b7e4d4be376","observation_id":"76b7093e-9f28-4e2e-bd08-4e3a49646edc","resolution":{"observed_at":"2026-08-05T23:04:18.970722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:18.759811Z","title":"Rump, Florian B¨ unger, and Claude-Pierre Jeannerod","venue":null,"work_id":"ebcc5733-0b07-4f5e-b5ff-a12bdf293afb","year":2015},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.559276Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:abd99f542852cf74d3bc90c0ef5d6b6316712311e277d7b4a8d7bec4273600f2","observation_id":"ca9681d1-85b2-4b38-9f75-23d11aa646bd","resolution":{"observed_at":"2026-08-05T23:04:18.794394Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:18.625136Z","title":"Performing Bayesian inference by weighted model counting","venue":null,"work_id":"869622a7-096c-4384-afde-7f6a5c6686a7","year":2005},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.569239Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:e587e27bd9059f521426b02d69b6cecc668a3bd41ba5cb58bf69495c85af577f","observation_id":"1f9ad71b-0544-4583-a0d7-32d70ed71b98","resolution":{"observed_at":"2026-08-05T23:04:18.684641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:18.516569Z","title":null,"venue":null,"work_id":"df9d0fd6-3403-43af-af25-3e7c93e48db6","year":2019},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.577967Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:861e64c6e618fe37eb979eeb0bbb9dfa8fad6913971ffd3368f42da52e09c303","observation_id":"d25d9514-b2c1-4e26-9d65-5b6924bc4f2d","resolution":{"observed_at":"2026-08-05T23:04:18.575522Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:18.372338Z","title":null,"venue":null,"work_id":"e82df1f3-1dbc-4cea-8e48-95a8974bfdf0","year":2024},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.587164Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:6c37e58a2a3ab8f581c71f14be29e6ac25b395b82edf6ae2a2d797a98d9be44f","observation_id":"d3a23929-152b-4b01-8b5e-28f983830ed3","resolution":{"observed_at":"2026-08-05T23:04:18.418202Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:18.236073Z","title":"Smoothing structured decomposable circuits","venue":null,"work_id":"d02d7f78-d4d4-45ae-94fb-ef29a630290c","year":2019},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.596634Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:58944768818cf84816002d470df227d0a96b49244cc45d7dd9e184a52c8e2ea4","observation_id":"b22dd422-dce5-471e-b01f-30ddda6abede","resolution":{"observed_at":"2026-08-05T23:04:18.308664Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:18.100608Z","title":"Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamari´ c, and Ganesh Gopalakrishnan","venue":null,"work_id":"3016d801-16a0-4da8-bfc3-ecf262e45b33","year":2018},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.606584Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:b4ec2828ff6a48573ef45fdc57335eff5a73c54ea9321825dc04d89203fdf0bd","observation_id":"db1e07e8-80e3-4f6f-b30b-c3c85c2aa9a0","resolution":{"observed_at":"2026-08-05T23:04:18.164308Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:17.997416Z","title":"Ham, Sharad Malik, and Robert K","venue":null,"work_id":"3f7d79d8-4b67-4dbf-a473-a0adaec2f894","year":1990},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.617465Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:f9ae0369dd67a7ed3409a4e2a0f7b7c00b61cf988dea477f85b573bae13586b5","observation_id":"2a776766-6bf0-419a-8046-f2444f876c5b","resolution":{"observed_at":"2026-08-05T23:04:18.069845Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:17.795860Z","title":"Young, Thomas Th¨ um, and Ina Schaefer","venue":null,"work_id":"f079a223-cc6a-43e3-ad16-4710a1c3b4f2","year":2023},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.627391Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:f83bcf7ecb1e4c4280d136ceecb1026769b237273282271bf0e439136ec4695f","observation_id":"ec51e3a9-fd97-4240-8003-b3a6f11633d5","resolution":{"observed_at":"2026-08-05T23:04:17.912049Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:17.619672Z","title":"Reusing d-DNNFs for efficient feature-model counting","venue":null,"work_id":"86a42508-7632-4d35-9e50-79ff663216fb","year":2024},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.646922Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:754f7cdaddabbe6b290ce218895ab6e20b00951ec7e6f9b1b579a9c136118206","observation_id":"dbe5db98-d148-49c4-bfdd-542fad760a61","resolution":{"observed_at":"2026-08-05T23:04:17.681819Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:17.372909Z","title":null,"venue":null,"work_id":"9643195b-48e6-4cba-ae6e-cb120da8e4c5","year":1979},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.659691Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:59f3b07c2b2c6d07410e72885ad6b8ed5608356cb7f2803744316860a4ce93e8","observation_id":"66530079-4784-4e64-ae0f-cd89a9f3a7d7","resolution":{"observed_at":"2026-08-05T23:04:17.472393Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:17.176575Z","title":"Branching Programs and Binary Decision Diagrams: Theory and Applications","venue":null,"work_id":"164a41fe-f8c4-4447-b71b-123f22562c5e","year":2000},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.675849Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:31cfbea17849c3b27154dcf51d77127f16cc39ebc6848390551304ed332298bc","observation_id":"767d0ba0-c8b8-42dc-9c9b-1c848781cc57","resolution":{"observed_at":"2026-08-05T23:04:17.275428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:16.959806Z","title":null,"venue":null,"work_id":"30dce43c-9014-43c2-9a4e-e082ee3566ed","year":1960},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.689883Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:92edcbf5a400d1bf9054f0d306c349c6254e9367e25952c99832a85a0121d313","observation_id":"e7472c15-ffc8-4b47-ba27-d81ce72300d2","resolution":{"observed_at":"2026-08-05T23:04:17.063943Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:16.829948Z","title":null,"venue":null,"work_id":"45df0a86-fb57-468f-be72-c05e01ebabb6","year":1964},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.701764Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:2e55f99b83e7b7dac280fb15c5dc3c185916f4e132b0ac5cae7fe4ce4fd37fe4","observation_id":"5a234fa1-3bd5-4563-a8d5-328e63383a39","resolution":{"observed_at":"2026-08-05T23:04:16.893853Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:16.799304Z","title":"A review of decision diagrams in system reliability modeling and analysis","venue":null,"work_id":"b608d827-1d5e-4f48-9645-bf0d9cb40f3c","year":2025},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.714186Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:f52dd74e3e6b506e4a641070a06aecf5a1a9dd20c068560ad4cb8f581553f38a","observation_id":"8d86ad7d-cf03-4c78-b755-f62b6557943e","resolution":{"observed_at":"2026-08-05T23:04:16.812348Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T23:04:16.769484Z","title":null,"venue":null,"work_id":"163fec37-e7e0-4178-9e98-faab6c4c454d","year":2015},"citing_paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-05T23:04:16.725226Z"},"links":{"citing_paper":"/paper/2508.06264"},"observation_digest":"sha256:141c1fb502a11e16e26f2a38a141f39c1818616a41f68b082ff72886ee3b4fa7","observation_id":"bd7d67a2-6223-47ca-a989-df3a34b6e121","resolution":{"observed_at":"2026-08-05T23:04:16.781797Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.06264","last_updated":"2025-08-08T12:28:49Z","latest_version":1,"primary_category":"math.NA","snapshot_observed_at":"2026-08-05T23:04:14.877115Z","submitted_at":"2025-08-08T12:28:49Z","title":"Numerical Considerations in Weighted Model Counting"},"reference_resolution":{"displayed":55,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":0,"verified_fuzzy":42},"total_outbound_references":55},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 1 inbound Pith citation observation for arXiv:2508.06264."}