{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:XS6CFVFXO4RFYMGK76MQJXS4KC","short_pith_number":"pith:XS6CFVFX","canonical_record":{"source":{"id":"1104.0843","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-04-05T13:25:43Z","cross_cats_sorted":[],"title_canon_sha256":"e8b96cc5dd15fb438a67d67d58a6416e63d170ce36e7b187fd23722c67722f5e","abstract_canon_sha256":"43bf726c2777b5be71b5fb06d2b7e1771f9e65288efe34bf04c7dd206c8d80f3"},"schema_version":"1.0"},"canonical_sha256":"bcbc22d4b777225c30caff9904de5c50b33d0bdcdbcade195ee520df8e6b352d","source":{"kind":"arxiv","id":"1104.0843","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.0843","created_at":"2026-05-18T04:20:49Z"},{"alias_kind":"arxiv_version","alias_value":"1104.0843v3","created_at":"2026-05-18T04:20:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.0843","created_at":"2026-05-18T04:20:49Z"},{"alias_kind":"pith_short_12","alias_value":"XS6CFVFXO4RF","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"XS6CFVFXO4RFYMGK","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"XS6CFVFX","created_at":"2026-05-18T12:26:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:XS6CFVFXO4RFYMGK76MQJXS4KC","target":"record","payload":{"canonical_record":{"source":{"id":"1104.0843","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-04-05T13:25:43Z","cross_cats_sorted":[],"title_canon_sha256":"e8b96cc5dd15fb438a67d67d58a6416e63d170ce36e7b187fd23722c67722f5e","abstract_canon_sha256":"43bf726c2777b5be71b5fb06d2b7e1771f9e65288efe34bf04c7dd206c8d80f3"},"schema_version":"1.0"},"canonical_sha256":"bcbc22d4b777225c30caff9904de5c50b33d0bdcdbcade195ee520df8e6b352d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:20:49.520305Z","signature_b64":"A4pu6X5NnZVOxSdi6W8vyLyLAjhK2qbn4YkiCXHr8eKxDQoFbdk/pE8TQ4q5wghb4SpxoD233qKJdaDrb0TxCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bcbc22d4b777225c30caff9904de5c50b33d0bdcdbcade195ee520df8e6b352d","last_reissued_at":"2026-05-18T04:20:49.519633Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:20:49.519633Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1104.0843","source_version":3,"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-18T04:20:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ivsK3qlpYx3wkI/NuAS13UP1IChcY6KdeZt8m4Gs6VHC3q4moTPKTJnpN1cvxC1eeeA4lj6afokz7VEM5GdCAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T14:31:23.967947Z"},"content_sha256":"5b2bcab231e10a86816cb4c4fadbce2271ca51305b3812c585527092459d21e1","schema_version":"1.0","event_id":"sha256:5b2bcab231e10a86816cb4c4fadbce2271ca51305b3812c585527092459d21e1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:XS6CFVFXO4RFYMGK76MQJXS4KC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Phase Transitions in Knowledge Compilation: an Experimental Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jian Gao, Ke Xu, Minghao Yin","submitted_at":"2011-04-05T13:25:43Z","abstract_excerpt":"Phase transitions in many complex combinational problems have been widely studied in the past decade. In this paper, we investigate phase transitions in the knowledge compilation empirically, where DFA, OBDD and d-DNNF are chosen as the target languages to compile random k-SAT instances. We perform intensive experiments to analyze the sizes of compilation results and draw the following conclusions: there exists an easy-hard-easy pattern in compilations; the peak point of sizes in the pattern is only related to the ratio of the number of clauses to that of variables when k is fixed, regardless "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.0843","kind":"arxiv","version":3},"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-18T04:20:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rloAf+qpjXHq+qraVQ856QnWEM/yMlGQeIU+t22VFO68KJ3SULwV3NHcGGuOmulLVhv2TomHio+lkI3A57tkAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T14:31:23.968655Z"},"content_sha256":"e134a6d044acefbc714c08de2db4d4d1a706bc569c9efcfe7a407a471106524b","schema_version":"1.0","event_id":"sha256:e134a6d044acefbc714c08de2db4d4d1a706bc569c9efcfe7a407a471106524b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XS6CFVFXO4RFYMGK76MQJXS4KC/bundle.json","state_url":"https://pith.science/pith/XS6CFVFXO4RFYMGK76MQJXS4KC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XS6CFVFXO4RFYMGK76MQJXS4KC/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-07T14:31:23Z","links":{"resolver":"https://pith.science/pith/XS6CFVFXO4RFYMGK76MQJXS4KC","bundle":"https://pith.science/pith/XS6CFVFXO4RFYMGK76MQJXS4KC/bundle.json","state":"https://pith.science/pith/XS6CFVFXO4RFYMGK76MQJXS4KC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XS6CFVFXO4RFYMGK76MQJXS4KC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:XS6CFVFXO4RFYMGK76MQJXS4KC","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":"43bf726c2777b5be71b5fb06d2b7e1771f9e65288efe34bf04c7dd206c8d80f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-04-05T13:25:43Z","title_canon_sha256":"e8b96cc5dd15fb438a67d67d58a6416e63d170ce36e7b187fd23722c67722f5e"},"schema_version":"1.0","source":{"id":"1104.0843","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.0843","created_at":"2026-05-18T04:20:49Z"},{"alias_kind":"arxiv_version","alias_value":"1104.0843v3","created_at":"2026-05-18T04:20:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.0843","created_at":"2026-05-18T04:20:49Z"},{"alias_kind":"pith_short_12","alias_value":"XS6CFVFXO4RF","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"XS6CFVFXO4RFYMGK","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"XS6CFVFX","created_at":"2026-05-18T12:26:47Z"}],"graph_snapshots":[{"event_id":"sha256:e134a6d044acefbc714c08de2db4d4d1a706bc569c9efcfe7a407a471106524b","target":"graph","created_at":"2026-05-18T04:20:49Z","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":"Phase transitions in many complex combinational problems have been widely studied in the past decade. In this paper, we investigate phase transitions in the knowledge compilation empirically, where DFA, OBDD and d-DNNF are chosen as the target languages to compile random k-SAT instances. We perform intensive experiments to analyze the sizes of compilation results and draw the following conclusions: there exists an easy-hard-easy pattern in compilations; the peak point of sizes in the pattern is only related to the ratio of the number of clauses to that of variables when k is fixed, regardless ","authors_text":"Jian Gao, Ke Xu, Minghao Yin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-04-05T13:25:43Z","title":"Phase Transitions in Knowledge Compilation: an Experimental Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.0843","kind":"arxiv","version":3},"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:5b2bcab231e10a86816cb4c4fadbce2271ca51305b3812c585527092459d21e1","target":"record","created_at":"2026-05-18T04:20:49Z","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":"43bf726c2777b5be71b5fb06d2b7e1771f9e65288efe34bf04c7dd206c8d80f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-04-05T13:25:43Z","title_canon_sha256":"e8b96cc5dd15fb438a67d67d58a6416e63d170ce36e7b187fd23722c67722f5e"},"schema_version":"1.0","source":{"id":"1104.0843","kind":"arxiv","version":3}},"canonical_sha256":"bcbc22d4b777225c30caff9904de5c50b33d0bdcdbcade195ee520df8e6b352d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bcbc22d4b777225c30caff9904de5c50b33d0bdcdbcade195ee520df8e6b352d","first_computed_at":"2026-05-18T04:20:49.519633Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:20:49.519633Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A4pu6X5NnZVOxSdi6W8vyLyLAjhK2qbn4YkiCXHr8eKxDQoFbdk/pE8TQ4q5wghb4SpxoD233qKJdaDrb0TxCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:20:49.520305Z","signed_message":"canonical_sha256_bytes"},"source_id":"1104.0843","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5b2bcab231e10a86816cb4c4fadbce2271ca51305b3812c585527092459d21e1","sha256:e134a6d044acefbc714c08de2db4d4d1a706bc569c9efcfe7a407a471106524b"],"state_sha256":"b8cfca538a0da6b8f77bc6be17a5d891acf34f0dccd03068db5eefddad56e73c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yLnmegF9rSBThOiQNwCgOOjVbudlBvLT0ig/jjighNMpYQoPsmeT8qJHiCwziekeg9sZRm6j05HId/2p82HoDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T14:31:23.972078Z","bundle_sha256":"369de589a83af9df17602a29577515718de249c7600575eca0e6bb312e493d7e"}}