{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:HCRUAMNBU75UDVI6JMGEE5BQAX","short_pith_number":"pith:HCRUAMNB","schema_version":"1.0","canonical_sha256":"38a34031a1a7fb41d51e4b0c42743005d2f3ec50998c3308eef9368c980fdcc4","source":{"kind":"arxiv","id":"2508.06264","version":1},"attestation_state":"computed","paper":{"title":"Numerical Considerations in Weighted Model Counting","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LO","cs.NA"],"primary_cat":"math.NA","authors_text":"Randal E. Bryant","submitted_at":"2025-08-08T12:28:49Z","abstract_excerpt":"Weighted model counting computes the sum of the rational-valued weights associated with the satisfying assignments for a Boolean formula, where the weight of an assignment is given by the product of the weights assigned to the positive and negated variables comprising the assignment. Weighted model counting finds applications across a variety of domains including probabilistic reasoning and quantitative risk assessment.\n  Most weighted model counting programs operate by (explicitly or implicitly) converting the input formula into a form that enables arithmetic evaluation, using multiplication "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2508.06264","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NA","submitted_at":"2025-08-08T12:28:49Z","cross_cats_sorted":["cs.AI","cs.LO","cs.NA"],"title_canon_sha256":"2f70389bcb162065d17106979db2b720a71074d28456fc70246d66fca32d2d62","abstract_canon_sha256":"e366ad1ea2bfe7af893e10a9137d5f4a352b5021d522b756260f229b6756718e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:50:52.954939Z","signature_b64":"gPM3pVhgdJBS4V0aWBrM04zd9r2noMp62b9BsF6Va2YR6MNkNn9QwSG9FMADAB76Lm/k3Tnie0JF9EyBfi2/Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"38a34031a1a7fb41d51e4b0c42743005d2f3ec50998c3308eef9368c980fdcc4","last_reissued_at":"2026-07-05T11:50:52.954416Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:50:52.954416Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Numerical Considerations in Weighted Model Counting","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LO","cs.NA"],"primary_cat":"math.NA","authors_text":"Randal E. Bryant","submitted_at":"2025-08-08T12:28:49Z","abstract_excerpt":"Weighted model counting computes the sum of the rational-valued weights associated with the satisfying assignments for a Boolean formula, where the weight of an assignment is given by the product of the weights assigned to the positive and negated variables comprising the assignment. Weighted model counting finds applications across a variety of domains including probabilistic reasoning and quantitative risk assessment.\n  Most weighted model counting programs operate by (explicitly or implicitly) converting the input formula into a form that enables arithmetic evaluation, using multiplication "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.06264","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.06264/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2508.06264","created_at":"2026-07-05T11:50:52.954512+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.06264v1","created_at":"2026-07-05T11:50:52.954512+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.06264","created_at":"2026-07-05T11:50:52.954512+00:00"},{"alias_kind":"pith_short_12","alias_value":"HCRUAMNBU75U","created_at":"2026-07-05T11:50:52.954512+00:00"},{"alias_kind":"pith_short_16","alias_value":"HCRUAMNBU75UDVI6","created_at":"2026-07-05T11:50:52.954512+00:00"},{"alias_kind":"pith_short_8","alias_value":"HCRUAMNB","created_at":"2026-07-05T11:50:52.954512+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.16509","citing_title":"Quokka#: Quantum Computing with #SAT","ref_index":25,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HCRUAMNBU75UDVI6JMGEE5BQAX","json":"https://pith.science/pith/HCRUAMNBU75UDVI6JMGEE5BQAX.json","graph_json":"https://pith.science/api/pith-number/HCRUAMNBU75UDVI6JMGEE5BQAX/graph.json","events_json":"https://pith.science/api/pith-number/HCRUAMNBU75UDVI6JMGEE5BQAX/events.json","paper":"https://pith.science/paper/HCRUAMNB"},"agent_actions":{"view_html":"https://pith.science/pith/HCRUAMNBU75UDVI6JMGEE5BQAX","download_json":"https://pith.science/pith/HCRUAMNBU75UDVI6JMGEE5BQAX.json","view_paper":"https://pith.science/paper/HCRUAMNB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.06264&json=true","fetch_graph":"https://pith.science/api/pith-number/HCRUAMNBU75UDVI6JMGEE5BQAX/graph.json","fetch_events":"https://pith.science/api/pith-number/HCRUAMNBU75UDVI6JMGEE5BQAX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HCRUAMNBU75UDVI6JMGEE5BQAX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HCRUAMNBU75UDVI6JMGEE5BQAX/action/storage_attestation","attest_author":"https://pith.science/pith/HCRUAMNBU75UDVI6JMGEE5BQAX/action/author_attestation","sign_citation":"https://pith.science/pith/HCRUAMNBU75UDVI6JMGEE5BQAX/action/citation_signature","submit_replication":"https://pith.science/pith/HCRUAMNBU75UDVI6JMGEE5BQAX/action/replication_record"}},"created_at":"2026-07-05T11:50:52.954512+00:00","updated_at":"2026-07-05T11:50:52.954512+00:00"}