{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:E3CU3MGQ4V7O4IUWL7AA7FZG2O","short_pith_number":"pith:E3CU3MGQ","canonical_record":{"source":{"id":"1904.11106","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-25T00:52:06Z","cross_cats_sorted":[],"title_canon_sha256":"2018a2f298808af597f2224cd98061cd37b8fc5adff88df59f18f43c3a29a044","abstract_canon_sha256":"5d8930e9f44fbd1290b8492ee6f0c0d14b8765948d6c94fa694504c7a1fe5956"},"schema_version":"1.0"},"canonical_sha256":"26c54db0d0e57eee22965fc00f9726d382fc073f2d16488a902e0add9944742a","source":{"kind":"arxiv","id":"1904.11106","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.11106","created_at":"2026-05-17T23:47:45Z"},{"alias_kind":"arxiv_version","alias_value":"1904.11106v1","created_at":"2026-05-17T23:47:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.11106","created_at":"2026-05-17T23:47:45Z"},{"alias_kind":"pith_short_12","alias_value":"E3CU3MGQ4V7O","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"E3CU3MGQ4V7O4IUW","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"E3CU3MGQ","created_at":"2026-05-18T12:33:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:E3CU3MGQ4V7O4IUWL7AA7FZG2O","target":"record","payload":{"canonical_record":{"source":{"id":"1904.11106","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-25T00:52:06Z","cross_cats_sorted":[],"title_canon_sha256":"2018a2f298808af597f2224cd98061cd37b8fc5adff88df59f18f43c3a29a044","abstract_canon_sha256":"5d8930e9f44fbd1290b8492ee6f0c0d14b8765948d6c94fa694504c7a1fe5956"},"schema_version":"1.0"},"canonical_sha256":"26c54db0d0e57eee22965fc00f9726d382fc073f2d16488a902e0add9944742a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:45.783138Z","signature_b64":"GX83j5SoQF3BNqX8OugJ2xDdFRNPZpNwPQlVEZL9JBOxyEwvy/BIW2VPg347aoJH/UVHYU9t9g/Wnl8kfzAPBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26c54db0d0e57eee22965fc00f9726d382fc073f2d16488a902e0add9944742a","last_reissued_at":"2026-05-17T23:47:45.782531Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:45.782531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.11106","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-17T23:47:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W8aKtsC8ppIeug27bw0uu36loYTUuGfNfxAAdlWjagBULRtY7N5uXY9zp6pHWDPPTlxlT+GJXDEXz9XliG06BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T02:00:16.017496Z"},"content_sha256":"bd7b95cd2dd88f4ea26a8fc717c1bc13afc6dd376c28fbf5edfdbd7b42168b01","schema_version":"1.0","event_id":"sha256:bd7b95cd2dd88f4ea26a8fc717c1bc13afc6dd376c28fbf5edfdbd7b42168b01"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:E3CU3MGQ4V7O4IUWL7AA7FZG2O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Characterization of Glue Variables in CDCL SAT Solving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jia-Huai You, Martin M\\\"uller, Md Solimul Chowdhury","submitted_at":"2019-04-25T00:52:06Z","abstract_excerpt":"A state-of-the-art criterion to evaluate the importance of a given learned clause is called Literal Block Distance (LBD) score. It measures the number of distinct decision levels in a given learned clause. The lower the LBD score of a learned clause, the better is its quality. The learned clauses with LBD score of 2, called glue clauses, are known to possess high pruning power which are never deleted from the clause databases of the modern CDCL SAT solvers. In this work, we relate glue clauses to decision variables. We call the variables that appeared in at least one glue clause up to the curr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.11106","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-17T23:47:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hKJG5s1V/K/nwDvbB8ij507ExINNjSCFVA/WOc6Q0RImRsFbqyxMVO0qRf3V1wC07DtV7F1TsSe7/NJE4yZOAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T02:00:16.017849Z"},"content_sha256":"5dbc6d65ce0fff0a0f73ecfe0c4275ee4e0e6074db8af32f0f13f07679ad3c60","schema_version":"1.0","event_id":"sha256:5dbc6d65ce0fff0a0f73ecfe0c4275ee4e0e6074db8af32f0f13f07679ad3c60"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E3CU3MGQ4V7O4IUWL7AA7FZG2O/bundle.json","state_url":"https://pith.science/pith/E3CU3MGQ4V7O4IUWL7AA7FZG2O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E3CU3MGQ4V7O4IUWL7AA7FZG2O/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-05-31T02:00:16Z","links":{"resolver":"https://pith.science/pith/E3CU3MGQ4V7O4IUWL7AA7FZG2O","bundle":"https://pith.science/pith/E3CU3MGQ4V7O4IUWL7AA7FZG2O/bundle.json","state":"https://pith.science/pith/E3CU3MGQ4V7O4IUWL7AA7FZG2O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E3CU3MGQ4V7O4IUWL7AA7FZG2O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:E3CU3MGQ4V7O4IUWL7AA7FZG2O","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":"5d8930e9f44fbd1290b8492ee6f0c0d14b8765948d6c94fa694504c7a1fe5956","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-25T00:52:06Z","title_canon_sha256":"2018a2f298808af597f2224cd98061cd37b8fc5adff88df59f18f43c3a29a044"},"schema_version":"1.0","source":{"id":"1904.11106","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.11106","created_at":"2026-05-17T23:47:45Z"},{"alias_kind":"arxiv_version","alias_value":"1904.11106v1","created_at":"2026-05-17T23:47:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.11106","created_at":"2026-05-17T23:47:45Z"},{"alias_kind":"pith_short_12","alias_value":"E3CU3MGQ4V7O","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"E3CU3MGQ4V7O4IUW","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"E3CU3MGQ","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:5dbc6d65ce0fff0a0f73ecfe0c4275ee4e0e6074db8af32f0f13f07679ad3c60","target":"graph","created_at":"2026-05-17T23:47:45Z","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":"A state-of-the-art criterion to evaluate the importance of a given learned clause is called Literal Block Distance (LBD) score. It measures the number of distinct decision levels in a given learned clause. The lower the LBD score of a learned clause, the better is its quality. The learned clauses with LBD score of 2, called glue clauses, are known to possess high pruning power which are never deleted from the clause databases of the modern CDCL SAT solvers. In this work, we relate glue clauses to decision variables. We call the variables that appeared in at least one glue clause up to the curr","authors_text":"Jia-Huai You, Martin M\\\"uller, Md Solimul Chowdhury","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-25T00:52:06Z","title":"Characterization of Glue Variables in CDCL SAT Solving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.11106","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:bd7b95cd2dd88f4ea26a8fc717c1bc13afc6dd376c28fbf5edfdbd7b42168b01","target":"record","created_at":"2026-05-17T23:47:45Z","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":"5d8930e9f44fbd1290b8492ee6f0c0d14b8765948d6c94fa694504c7a1fe5956","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-25T00:52:06Z","title_canon_sha256":"2018a2f298808af597f2224cd98061cd37b8fc5adff88df59f18f43c3a29a044"},"schema_version":"1.0","source":{"id":"1904.11106","kind":"arxiv","version":1}},"canonical_sha256":"26c54db0d0e57eee22965fc00f9726d382fc073f2d16488a902e0add9944742a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26c54db0d0e57eee22965fc00f9726d382fc073f2d16488a902e0add9944742a","first_computed_at":"2026-05-17T23:47:45.782531Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:45.782531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GX83j5SoQF3BNqX8OugJ2xDdFRNPZpNwPQlVEZL9JBOxyEwvy/BIW2VPg347aoJH/UVHYU9t9g/Wnl8kfzAPBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:45.783138Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.11106","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bd7b95cd2dd88f4ea26a8fc717c1bc13afc6dd376c28fbf5edfdbd7b42168b01","sha256:5dbc6d65ce0fff0a0f73ecfe0c4275ee4e0e6074db8af32f0f13f07679ad3c60"],"state_sha256":"08060b0fe8f92fa8a9d5cd673125a8ff4eb90eeb38ac6fb45f26cb0b744869e2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"clILtgSkojBzQw69P+jjPqcwTHcnCidsJc1n0h5v5RDMEQHDd5f6cIZ1viAp84UQ6S7tIzXE1VatqGfGrgvrDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T02:00:16.019917Z","bundle_sha256":"fcb5a627fc8cbe18aa56d226504afe8f823d812237bce1b3b0558b7c7c063410"}}