{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:QXPHDDUJPMLABBIOCS6HJZBCUM","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d227a5ffdd74eccf6570a67611e0412526b8065e7dfc022b94c8b85577253d29","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-23T02:48:33Z","title_canon_sha256":"6d44ca4aac2ed8112c8a5fcb54d78b29be2103eb0c1880ffcc1d737d9f076d47"},"schema_version":"1.0","source":{"id":"1401.5860","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.5860","created_at":"2026-05-18T03:01:23Z"},{"alias_kind":"arxiv_version","alias_value":"1401.5860v1","created_at":"2026-05-18T03:01:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.5860","created_at":"2026-05-18T03:01:23Z"},{"alias_kind":"pith_short_12","alias_value":"QXPHDDUJPMLA","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"QXPHDDUJPMLABBIO","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"QXPHDDUJ","created_at":"2026-05-18T12:28:46Z"}],"graph_snapshots":[{"event_id":"sha256:607c91977baf46ca4cba027e1a237350ccf0dacf7aa9e78c60537dcf85871fc1","target":"graph","created_at":"2026-05-18T03:01:23Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Pseudo-Boolean constraints are omnipresent in practical applications, and thus a significant effort has been devoted to the development of good SAT encoding techniques for them. Some of these encodings first construct a Binary Decision Diagram (BDD) for the constraint, and then encode the BDD into a propositional formula.  These BDD-based approaches have some important advantages, such as not being dependent on the size of the coefficients, or being able to share the same BDD for representing many constraints.\n\nWe first focus on the size of the resulting BDDs, which was considered to be an ope","authors_text":"Albert Oliveras, Enric Rodriguez-Carbonell, Ignasi Ab\\'io, Robert Nieuwenhuis, Valentin Mayer-Eichberger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-23T02:48:33Z","title":"A New Look at BDDs for Pseudo-Boolean Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.5860","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:546aae594236b800c44e26086bec81e685c32105342c92d3b73d151130c2acdf","target":"record","created_at":"2026-05-18T03:01:23Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"d227a5ffdd74eccf6570a67611e0412526b8065e7dfc022b94c8b85577253d29","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-23T02:48:33Z","title_canon_sha256":"6d44ca4aac2ed8112c8a5fcb54d78b29be2103eb0c1880ffcc1d737d9f076d47"},"schema_version":"1.0","source":{"id":"1401.5860","kind":"arxiv","version":1}},"canonical_sha256":"85de718e897b1600850e14bc74e422a30aedccd09e7b5404edcccc8aae16b055","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"85de718e897b1600850e14bc74e422a30aedccd09e7b5404edcccc8aae16b055","first_computed_at":"2026-05-18T03:01:23.615121Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:01:23.615121Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tC62F5nO52KtxDML3AF9JvZTxqTSr/Kbaq1p4czdmLnvMY8e+j0vTCKkinsPAK/ymE///QW6adEoN6/XIYzCBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:01:23.615839Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.5860","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:546aae594236b800c44e26086bec81e685c32105342c92d3b73d151130c2acdf","sha256:607c91977baf46ca4cba027e1a237350ccf0dacf7aa9e78c60537dcf85871fc1"],"state_sha256":"5fff63c169835b9d737ee7d55f8fb48393f020999e74a60dce62475729f100c3"}