{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:J3ASG2S7ICDUQPPPIPI6RXGEPO","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":"8d2eb1ba8d25eea961aadb978544e546db0bd6abcfe0857db5e6b8037440fdda","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2014-04-15T14:08:09Z","title_canon_sha256":"d7201b510f0333274b28c9961c443b28b1f6f3f47665ed66cb16bf6c1dd21e13"},"schema_version":"1.0","source":{"id":"1404.3919","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.3919","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"arxiv_version","alias_value":"1404.3919v2","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.3919","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"pith_short_12","alias_value":"J3ASG2S7ICDU","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"J3ASG2S7ICDUQPPP","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"J3ASG2S7","created_at":"2026-05-18T12:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:347d84587ab58bb5356681324d8e165bbbce2f04eeb39d5eac5ac87d72a3691d","target":"graph","created_at":"2026-05-18T02:27:58Z","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":"Ordered Binary Decision Diagrams (OBDDs) are a data structure that is used in an increasing number of fields of Computer Science (e.g., logic synthesis, program verification, data mining, bioinformatics, and data protection) for representing and manipulating discrete structures and Boolean functions. The purpose of this paper is to study the error resilience of OBDDs and to design a resilient version of this data structure, i.e., a self-repairing OBDD. In particular, we describe some strategies that make reduced ordered OBDDs resilient to errors in the indexes, that are associated to the input","authors_text":"Anna Bernasconi, Lorenzo Lago, Valentina Ciriani","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2014-04-15T14:08:09Z","title":"On the Error Resilience of Ordered Binary Decision Diagrams"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.3919","kind":"arxiv","version":2},"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:c11b4332810bbfa042ecd6958fb3e76001adcf5b72e98b37aebef3ed31c32cb2","target":"record","created_at":"2026-05-18T02:27:58Z","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":"8d2eb1ba8d25eea961aadb978544e546db0bd6abcfe0857db5e6b8037440fdda","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2014-04-15T14:08:09Z","title_canon_sha256":"d7201b510f0333274b28c9961c443b28b1f6f3f47665ed66cb16bf6c1dd21e13"},"schema_version":"1.0","source":{"id":"1404.3919","kind":"arxiv","version":2}},"canonical_sha256":"4ec1236a5f4087483def43d1e8dcc47b93591916e26cfcc196992ac9449a6aa8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4ec1236a5f4087483def43d1e8dcc47b93591916e26cfcc196992ac9449a6aa8","first_computed_at":"2026-05-18T02:27:58.713206Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:58.713206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DFXXI789C24s4qSKF3iGUhuraQhRUoJHMMFexVGUVHBGiZ8mjzyQAja/9+Q7apjJyoIyD9vRRG531G7+en6cAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:58.713830Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.3919","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c11b4332810bbfa042ecd6958fb3e76001adcf5b72e98b37aebef3ed31c32cb2","sha256:347d84587ab58bb5356681324d8e165bbbce2f04eeb39d5eac5ac87d72a3691d"],"state_sha256":"2581131dffa62034c88fd8b43a12e6d07c74986d0460f74ea479a63cff5c1a0c"}