{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:GZPB5LI2ZVS7G5VWDULPXXTIOQ","short_pith_number":"pith:GZPB5LI2","canonical_record":{"source":{"id":"1507.00459","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-02T08:07:28Z","cross_cats_sorted":[],"title_canon_sha256":"ae36019423b566f6854269e92617176f30f511f8816d475787834f1ac8bec1e0","abstract_canon_sha256":"b7b4129f4bd28777448e0e906c1c7b1ea3d12fb5a21abd744783ba5fc75ace69"},"schema_version":"1.0"},"canonical_sha256":"365e1ead1acd65f376b61d16fbde68742b070b2594b8a7b56d0b68ae03e1c8b7","source":{"kind":"arxiv","id":"1507.00459","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.00459","created_at":"2026-05-18T01:24:05Z"},{"alias_kind":"arxiv_version","alias_value":"1507.00459v2","created_at":"2026-05-18T01:24:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.00459","created_at":"2026-05-18T01:24:05Z"},{"alias_kind":"pith_short_12","alias_value":"GZPB5LI2ZVS7","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"GZPB5LI2ZVS7G5VW","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"GZPB5LI2","created_at":"2026-05-18T12:29:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:GZPB5LI2ZVS7G5VWDULPXXTIOQ","target":"record","payload":{"canonical_record":{"source":{"id":"1507.00459","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-02T08:07:28Z","cross_cats_sorted":[],"title_canon_sha256":"ae36019423b566f6854269e92617176f30f511f8816d475787834f1ac8bec1e0","abstract_canon_sha256":"b7b4129f4bd28777448e0e906c1c7b1ea3d12fb5a21abd744783ba5fc75ace69"},"schema_version":"1.0"},"canonical_sha256":"365e1ead1acd65f376b61d16fbde68742b070b2594b8a7b56d0b68ae03e1c8b7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:24:05.181454Z","signature_b64":"q/0E6XdO02OJQIHbiwbwZRUYQ0phrmVupN9vqbp9tUaqv1TEtyd78dbFP1vw5xYleinDqqac0AlfljSa219kDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"365e1ead1acd65f376b61d16fbde68742b070b2594b8a7b56d0b68ae03e1c8b7","last_reissued_at":"2026-05-18T01:24:05.180766Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:24:05.180766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.00459","source_version":2,"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-18T01:24:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VZowc+DZ3qshk0c3DE+fbp/T15sNmpXF59zEnSZfW+SMoJrJYdV+XgwEOajO2ktUJVDcMKWTAka0jCmIxmbADw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:11:11.440868Z"},"content_sha256":"8469ccc1bd61f4241f98926bb69a79339fc6149850dcfef64e64b1b444169b4a","schema_version":"1.0","event_id":"sha256:8469ccc1bd61f4241f98926bb69a79339fc6149850dcfef64e64b1b444169b4a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:GZPB5LI2ZVS7G5VWDULPXXTIOQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fast Blocked Clause Decomposition with High Quality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Jingchao Chen","submitted_at":"2015-07-02T08:07:28Z","abstract_excerpt":"Any CNF formula can be decomposed two blocked subsets such that both can be solved by BCE (Blocked Clause Elimination). To make the decomposition more useful, one hopes to have the decomposition as unbalanced as possible. It is often time consuming to achieve this goal. So far there have been several decomposition and post-processing algorithms such as PureDecompose, QuickDecompose, EagerMover etc. We found that these existing algorithms are often either inefficient or low-quality decomposition. This paper aims at improving the decomposition quality, while keeping the runtime of algorithms und"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.00459","kind":"arxiv","version":2},"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-18T01:24:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q+JjPSgpHYuXnf/6iWXZwXTN6TBRuBXb/EnQeJgetGl/k/xnOmd0cBQB+aBZU3RgIMgK1Q19KO3DgbI39aFpBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:11:11.441523Z"},"content_sha256":"0131437d921ead89c824761b351452f4a4c8b1a709ab409aa1013565a8dbd733","schema_version":"1.0","event_id":"sha256:0131437d921ead89c824761b351452f4a4c8b1a709ab409aa1013565a8dbd733"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GZPB5LI2ZVS7G5VWDULPXXTIOQ/bundle.json","state_url":"https://pith.science/pith/GZPB5LI2ZVS7G5VWDULPXXTIOQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GZPB5LI2ZVS7G5VWDULPXXTIOQ/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-02T13:11:11Z","links":{"resolver":"https://pith.science/pith/GZPB5LI2ZVS7G5VWDULPXXTIOQ","bundle":"https://pith.science/pith/GZPB5LI2ZVS7G5VWDULPXXTIOQ/bundle.json","state":"https://pith.science/pith/GZPB5LI2ZVS7G5VWDULPXXTIOQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GZPB5LI2ZVS7G5VWDULPXXTIOQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:GZPB5LI2ZVS7G5VWDULPXXTIOQ","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":"b7b4129f4bd28777448e0e906c1c7b1ea3d12fb5a21abd744783ba5fc75ace69","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-02T08:07:28Z","title_canon_sha256":"ae36019423b566f6854269e92617176f30f511f8816d475787834f1ac8bec1e0"},"schema_version":"1.0","source":{"id":"1507.00459","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.00459","created_at":"2026-05-18T01:24:05Z"},{"alias_kind":"arxiv_version","alias_value":"1507.00459v2","created_at":"2026-05-18T01:24:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.00459","created_at":"2026-05-18T01:24:05Z"},{"alias_kind":"pith_short_12","alias_value":"GZPB5LI2ZVS7","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"GZPB5LI2ZVS7G5VW","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"GZPB5LI2","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:0131437d921ead89c824761b351452f4a4c8b1a709ab409aa1013565a8dbd733","target":"graph","created_at":"2026-05-18T01:24:05Z","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":"Any CNF formula can be decomposed two blocked subsets such that both can be solved by BCE (Blocked Clause Elimination). To make the decomposition more useful, one hopes to have the decomposition as unbalanced as possible. It is often time consuming to achieve this goal. So far there have been several decomposition and post-processing algorithms such as PureDecompose, QuickDecompose, EagerMover etc. We found that these existing algorithms are often either inefficient or low-quality decomposition. This paper aims at improving the decomposition quality, while keeping the runtime of algorithms und","authors_text":"Jingchao Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-02T08:07:28Z","title":"Fast Blocked Clause Decomposition with High Quality"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.00459","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:8469ccc1bd61f4241f98926bb69a79339fc6149850dcfef64e64b1b444169b4a","target":"record","created_at":"2026-05-18T01:24:05Z","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":"b7b4129f4bd28777448e0e906c1c7b1ea3d12fb5a21abd744783ba5fc75ace69","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-02T08:07:28Z","title_canon_sha256":"ae36019423b566f6854269e92617176f30f511f8816d475787834f1ac8bec1e0"},"schema_version":"1.0","source":{"id":"1507.00459","kind":"arxiv","version":2}},"canonical_sha256":"365e1ead1acd65f376b61d16fbde68742b070b2594b8a7b56d0b68ae03e1c8b7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"365e1ead1acd65f376b61d16fbde68742b070b2594b8a7b56d0b68ae03e1c8b7","first_computed_at":"2026-05-18T01:24:05.180766Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:24:05.180766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q/0E6XdO02OJQIHbiwbwZRUYQ0phrmVupN9vqbp9tUaqv1TEtyd78dbFP1vw5xYleinDqqac0AlfljSa219kDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:24:05.181454Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.00459","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8469ccc1bd61f4241f98926bb69a79339fc6149850dcfef64e64b1b444169b4a","sha256:0131437d921ead89c824761b351452f4a4c8b1a709ab409aa1013565a8dbd733"],"state_sha256":"ba06ffabe100559a30852d9acaea1a561caa02a0d3a7d07886b28fde4da20bb0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dq7aLZL9q7YCrowIVA+YfCDAftKNloFyPj0Go7MXGKmFLDp62mpCBcVQl0uuVzyWtN+ndBYCa9s99zSJPWSDCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T13:11:11.444614Z","bundle_sha256":"5fe0fd7edf0ba9976c18dd530c0195d6b0eb10eab3922fc7acc23887284ee12a"}}