{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:TGCWBBY7C7M7OD3EDR6TYBWGHW","short_pith_number":"pith:TGCWBBY7","canonical_record":{"source":{"id":"1811.02178","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-11-06T06:07:09Z","cross_cats_sorted":[],"title_canon_sha256":"f917c4a0bb02f25cde4db5dc43352e16b09478dce9c6412658460b0ad9c2c48c","abstract_canon_sha256":"fd31fa7da59df6de70ae5053652da7129c5c9f03d2909701dfe2edd266cfbe89"},"schema_version":"1.0"},"canonical_sha256":"998560871f17d9f70f641c7d3c06c63dbf5d293dbf274a4609bfbcd64c633297","source":{"kind":"arxiv","id":"1811.02178","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.02178","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"arxiv_version","alias_value":"1811.02178v1","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02178","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"pith_short_12","alias_value":"TGCWBBY7C7M7","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TGCWBBY7C7M7OD3E","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TGCWBBY7","created_at":"2026-05-18T12:32:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:TGCWBBY7C7M7OD3EDR6TYBWGHW","target":"record","payload":{"canonical_record":{"source":{"id":"1811.02178","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-11-06T06:07:09Z","cross_cats_sorted":[],"title_canon_sha256":"f917c4a0bb02f25cde4db5dc43352e16b09478dce9c6412658460b0ad9c2c48c","abstract_canon_sha256":"fd31fa7da59df6de70ae5053652da7129c5c9f03d2909701dfe2edd266cfbe89"},"schema_version":"1.0"},"canonical_sha256":"998560871f17d9f70f641c7d3c06c63dbf5d293dbf274a4609bfbcd64c633297","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:24.879652Z","signature_b64":"t+X3mf7RROzF6Eqz0oy7mLMZv7ZhPV3wcJu5JMpYqKBXVUvee/T+yO8qJiHiWctq2to6WXVXSl55ysIKEnj5AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"998560871f17d9f70f641c7d3c06c63dbf5d293dbf274a4609bfbcd64c633297","last_reissued_at":"2026-05-18T00:01:24.879283Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:24.879283Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.02178","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:01:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ox2n6exeophIEARfljDljc6CmUkt9Zw8y8oDn/ohO6Cs/8dwCuvuq/6URafjxvOGqh3A4ZUgcrVh3nLmfWwrDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T06:11:44.632992Z"},"content_sha256":"9944a546c82db29b05d1b615fde150058ecd76c9d78ce287dcb33a4da01cb13f","schema_version":"1.0","event_id":"sha256:9944a546c82db29b05d1b615fde150058ecd76c9d78ce287dcb33a4da01cb13f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:TGCWBBY7C7M7OD3EDR6TYBWGHW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fast OBDD Reordering using Neural Message Passing on Hypergraph","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Enze Xie, Feifan Xu, Fei He, Liang Li","submitted_at":"2018-11-06T06:07:09Z","abstract_excerpt":"Ordered binary decision diagrams (OBDDs) are an efficient data structure for representing and manipulating Boolean formulas. With respect to different variable orders, the OBDDs' sizes may vary from linear to exponential in the number of the Boolean variables. Finding the optimal variable order has been proved a NP-complete problem. Many heuristics have been proposed to find a near-optimal solution of this problem. In this paper, we propose a neural network-based method to predict near-optimal variable orders for unknown formulas. Viewing these formulas as hypergraphs, and lifting the message "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02178","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":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:01:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oY5liwP0duoflXGYzevOE7nkpw/yT4BLCy+eq4rxpsYWmAxCk+imDkW3UFWdzxRWC0Wj2Ji/CWMB9qbb9JXnCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T06:11:44.633623Z"},"content_sha256":"5a4ab4ef3e44d1bdfb1e177d1c6386b398185867147dfc765146c2dba80e4cdb","schema_version":"1.0","event_id":"sha256:5a4ab4ef3e44d1bdfb1e177d1c6386b398185867147dfc765146c2dba80e4cdb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TGCWBBY7C7M7OD3EDR6TYBWGHW/bundle.json","state_url":"https://pith.science/pith/TGCWBBY7C7M7OD3EDR6TYBWGHW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TGCWBBY7C7M7OD3EDR6TYBWGHW/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-07T06:11:44Z","links":{"resolver":"https://pith.science/pith/TGCWBBY7C7M7OD3EDR6TYBWGHW","bundle":"https://pith.science/pith/TGCWBBY7C7M7OD3EDR6TYBWGHW/bundle.json","state":"https://pith.science/pith/TGCWBBY7C7M7OD3EDR6TYBWGHW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TGCWBBY7C7M7OD3EDR6TYBWGHW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TGCWBBY7C7M7OD3EDR6TYBWGHW","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":"fd31fa7da59df6de70ae5053652da7129c5c9f03d2909701dfe2edd266cfbe89","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-11-06T06:07:09Z","title_canon_sha256":"f917c4a0bb02f25cde4db5dc43352e16b09478dce9c6412658460b0ad9c2c48c"},"schema_version":"1.0","source":{"id":"1811.02178","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.02178","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"arxiv_version","alias_value":"1811.02178v1","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02178","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"pith_short_12","alias_value":"TGCWBBY7C7M7","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TGCWBBY7C7M7OD3E","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TGCWBBY7","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:5a4ab4ef3e44d1bdfb1e177d1c6386b398185867147dfc765146c2dba80e4cdb","target":"graph","created_at":"2026-05-18T00:01:24Z","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 an efficient data structure for representing and manipulating Boolean formulas. With respect to different variable orders, the OBDDs' sizes may vary from linear to exponential in the number of the Boolean variables. Finding the optimal variable order has been proved a NP-complete problem. Many heuristics have been proposed to find a near-optimal solution of this problem. In this paper, we propose a neural network-based method to predict near-optimal variable orders for unknown formulas. Viewing these formulas as hypergraphs, and lifting the message ","authors_text":"Enze Xie, Feifan Xu, Fei He, Liang Li","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-11-06T06:07:09Z","title":"Fast OBDD Reordering using Neural Message Passing on Hypergraph"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02178","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:9944a546c82db29b05d1b615fde150058ecd76c9d78ce287dcb33a4da01cb13f","target":"record","created_at":"2026-05-18T00:01:24Z","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":"fd31fa7da59df6de70ae5053652da7129c5c9f03d2909701dfe2edd266cfbe89","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-11-06T06:07:09Z","title_canon_sha256":"f917c4a0bb02f25cde4db5dc43352e16b09478dce9c6412658460b0ad9c2c48c"},"schema_version":"1.0","source":{"id":"1811.02178","kind":"arxiv","version":1}},"canonical_sha256":"998560871f17d9f70f641c7d3c06c63dbf5d293dbf274a4609bfbcd64c633297","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"998560871f17d9f70f641c7d3c06c63dbf5d293dbf274a4609bfbcd64c633297","first_computed_at":"2026-05-18T00:01:24.879283Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:24.879283Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"t+X3mf7RROzF6Eqz0oy7mLMZv7ZhPV3wcJu5JMpYqKBXVUvee/T+yO8qJiHiWctq2to6WXVXSl55ysIKEnj5AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:24.879652Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.02178","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9944a546c82db29b05d1b615fde150058ecd76c9d78ce287dcb33a4da01cb13f","sha256:5a4ab4ef3e44d1bdfb1e177d1c6386b398185867147dfc765146c2dba80e4cdb"],"state_sha256":"aa2f1bc3427b1881b263b54333321c2d884c6f89e5b4f90e46e79f3fa0214f91"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C2YEmXODpI0XGNL75Mv9nrGzWsM5PkQnqiF7qv1RZBwabQGweGbzwAJNLELdi3G2kzZ5bb9hA4reGy9q89t8DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T06:11:44.637001Z","bundle_sha256":"789a90565dadb0fdcb75e4ff7fe87892ecbbcfd553506092f37a3acee882bac7"}}