{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:R4FAAWGAT2PZVHGZ7QULACR3PF","short_pith_number":"pith:R4FAAWGA","schema_version":"1.0","canonical_sha256":"8f0a0058c09e9f9a9cd9fc28b00a3b79700c52c4299ca9c49dd801a9bf3a3312","source":{"kind":"arxiv","id":"2506.05232","version":1},"attestation_state":"computed","paper":{"title":"On Top-Down Pseudo-Boolean Model Counting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Kuldeep S. Meel, Suwei Yang, Yong Lai","submitted_at":"2025-06-05T16:49:28Z","abstract_excerpt":"Pseudo-Boolean model counting involves computing the number of satisfying assignments of a given pseudo-Boolean (PB) formula. In recent years, PB model counting has seen increased interest partly owing to the succinctness of PB formulas over typical propositional Boolean formulas in conjunctive normal form (CNF) at describing problem constraints. In particular, the research community has developed tools to tackle exact PB model counting. These recently developed counters follow one of the two existing major designs for model counters, namely the bottom-up model counter design. A natural questi"},"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":"2506.05232","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-06-05T16:49:28Z","cross_cats_sorted":[],"title_canon_sha256":"2d41d6a8ee7e4ff29bdd71e63e3a031515ff4c83af7fbb4134f1432accd8d2a8","abstract_canon_sha256":"feac81b8fb75a0d72dbae4fd96a7ef8d939b611cd59e2fae0b4fcc5697a7c9fe"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:16:44.477657Z","signature_b64":"y5UGz7B0/vFbeGlh1v7cLNN/n2quhoOpS4x0myOAsyjyQC0TkBXS6uVDDKmcCtn+gIEL+UjvUy7sJo2GG2UtCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8f0a0058c09e9f9a9cd9fc28b00a3b79700c52c4299ca9c49dd801a9bf3a3312","last_reissued_at":"2026-07-05T11:16:44.477170Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:16:44.477170Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Top-Down Pseudo-Boolean Model Counting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Kuldeep S. Meel, Suwei Yang, Yong Lai","submitted_at":"2025-06-05T16:49:28Z","abstract_excerpt":"Pseudo-Boolean model counting involves computing the number of satisfying assignments of a given pseudo-Boolean (PB) formula. In recent years, PB model counting has seen increased interest partly owing to the succinctness of PB formulas over typical propositional Boolean formulas in conjunctive normal form (CNF) at describing problem constraints. In particular, the research community has developed tools to tackle exact PB model counting. These recently developed counters follow one of the two existing major designs for model counters, namely the bottom-up model counter design. A natural questi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.05232","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/2506.05232/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":"2506.05232","created_at":"2026-07-05T11:16:44.477233+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.05232v1","created_at":"2026-07-05T11:16:44.477233+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.05232","created_at":"2026-07-05T11:16:44.477233+00:00"},{"alias_kind":"pith_short_12","alias_value":"R4FAAWGAT2PZ","created_at":"2026-07-05T11:16:44.477233+00:00"},{"alias_kind":"pith_short_16","alias_value":"R4FAAWGAT2PZVHGZ","created_at":"2026-07-05T11:16:44.477233+00:00"},{"alias_kind":"pith_short_8","alias_value":"R4FAAWGA","created_at":"2026-07-05T11:16:44.477233+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/R4FAAWGAT2PZVHGZ7QULACR3PF","json":"https://pith.science/pith/R4FAAWGAT2PZVHGZ7QULACR3PF.json","graph_json":"https://pith.science/api/pith-number/R4FAAWGAT2PZVHGZ7QULACR3PF/graph.json","events_json":"https://pith.science/api/pith-number/R4FAAWGAT2PZVHGZ7QULACR3PF/events.json","paper":"https://pith.science/paper/R4FAAWGA"},"agent_actions":{"view_html":"https://pith.science/pith/R4FAAWGAT2PZVHGZ7QULACR3PF","download_json":"https://pith.science/pith/R4FAAWGAT2PZVHGZ7QULACR3PF.json","view_paper":"https://pith.science/paper/R4FAAWGA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.05232&json=true","fetch_graph":"https://pith.science/api/pith-number/R4FAAWGAT2PZVHGZ7QULACR3PF/graph.json","fetch_events":"https://pith.science/api/pith-number/R4FAAWGAT2PZVHGZ7QULACR3PF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/R4FAAWGAT2PZVHGZ7QULACR3PF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/R4FAAWGAT2PZVHGZ7QULACR3PF/action/storage_attestation","attest_author":"https://pith.science/pith/R4FAAWGAT2PZVHGZ7QULACR3PF/action/author_attestation","sign_citation":"https://pith.science/pith/R4FAAWGAT2PZVHGZ7QULACR3PF/action/citation_signature","submit_replication":"https://pith.science/pith/R4FAAWGAT2PZVHGZ7QULACR3PF/action/replication_record"}},"created_at":"2026-07-05T11:16:44.477233+00:00","updated_at":"2026-07-05T11:16:44.477233+00:00"}