{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:B3THWGZAZCYVYPS2DYYYDCWDT5","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":"eb7ed6a2db52826c6853faaa44683e4c8d54c5c2be78edeaf0caec8df3bc8148","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-03-16T08:12:05Z","title_canon_sha256":"f0918b2c9e8d2c7df5a594072fdf31f7d9dde1290b331d7cc79342bf1c339379"},"schema_version":"1.0","source":{"id":"1103.3123","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.3123","created_at":"2026-05-18T03:25:59Z"},{"alias_kind":"arxiv_version","alias_value":"1103.3123v2","created_at":"2026-05-18T03:25:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.3123","created_at":"2026-05-18T03:25:59Z"},{"alias_kind":"pith_short_12","alias_value":"B3THWGZAZCYV","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"B3THWGZAZCYVYPS2","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"B3THWGZA","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:5bfeb3aa53c6a455304acbfe30709c3e034caae7544a47beeef159fcd47f9209","target":"graph","created_at":"2026-05-18T03:25:59Z","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":"Knowledge compilation is an approach to tackle the computational intractability of general reasoning problems. According to this approach, knowledge bases are converted off-line into a target compilation language which is tractable for on-line querying. Reduced ordered binary decision diagram (ROBDD) is one of the most influential target languages. We generalize ROBDD by associating some implied literals in each node and the new language is called reduced ordered binary decision diagram with implied literals (ROBDD-L). Then we discuss a kind of subsets of ROBDD-L called ROBDD-i with precisely ","authors_text":"Dayou Liu, Shengsheng Wang, Yong Lai","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-03-16T08:12:05Z","title":"Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.3123","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:f31ac468efac49c4ed99e5712ba33297006740d25fa516f7108fbc8bc1cfd639","target":"record","created_at":"2026-05-18T03:25:59Z","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":"eb7ed6a2db52826c6853faaa44683e4c8d54c5c2be78edeaf0caec8df3bc8148","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-03-16T08:12:05Z","title_canon_sha256":"f0918b2c9e8d2c7df5a594072fdf31f7d9dde1290b331d7cc79342bf1c339379"},"schema_version":"1.0","source":{"id":"1103.3123","kind":"arxiv","version":2}},"canonical_sha256":"0ee67b1b20c8b15c3e5a1e31818ac39f4611fb9986ad3b0707696880fd8ce184","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0ee67b1b20c8b15c3e5a1e31818ac39f4611fb9986ad3b0707696880fd8ce184","first_computed_at":"2026-05-18T03:25:59.792492Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:25:59.792492Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bSwnrMiMi0uruvGSFmWmwobM+Uv471Je+kFw6lBJBUj2CEOmthWBMeZhLxKmq7p60W+v33qYxEa49zkZod5bCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:25:59.793103Z","signed_message":"canonical_sha256_bytes"},"source_id":"1103.3123","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f31ac468efac49c4ed99e5712ba33297006740d25fa516f7108fbc8bc1cfd639","sha256:5bfeb3aa53c6a455304acbfe30709c3e034caae7544a47beeef159fcd47f9209"],"state_sha256":"d1f3620bc76560f92df28c0225492f3b58cf9bd872c2554e01c842ed0cd5db31"}