{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:BPMXKX2AADEGL7BPKURG5L3FTC","short_pith_number":"pith:BPMXKX2A","canonical_record":{"source":{"id":"1402.1956","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-09T15:14:24Z","cross_cats_sorted":[],"title_canon_sha256":"8e01f38759525a6610e9a7ce2e042ee3925a85b7b46704fe3b2cc1e288e29db0","abstract_canon_sha256":"3ec83f8617217c6057b99368ae3637ebb56814bbc2ab89950e7d405de4630e0e"},"schema_version":"1.0"},"canonical_sha256":"0bd9755f4000c865fc2f55226eaf659889170f5e1c5a5afd43a66173e3f5d3f0","source":{"kind":"arxiv","id":"1402.1956","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.1956","created_at":"2026-05-18T02:59:32Z"},{"alias_kind":"arxiv_version","alias_value":"1402.1956v1","created_at":"2026-05-18T02:59:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.1956","created_at":"2026-05-18T02:59:32Z"},{"alias_kind":"pith_short_12","alias_value":"BPMXKX2AADEG","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"BPMXKX2AADEGL7BP","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"BPMXKX2A","created_at":"2026-05-18T12:28:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:BPMXKX2AADEGL7BPKURG5L3FTC","target":"record","payload":{"canonical_record":{"source":{"id":"1402.1956","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-09T15:14:24Z","cross_cats_sorted":[],"title_canon_sha256":"8e01f38759525a6610e9a7ce2e042ee3925a85b7b46704fe3b2cc1e288e29db0","abstract_canon_sha256":"3ec83f8617217c6057b99368ae3637ebb56814bbc2ab89950e7d405de4630e0e"},"schema_version":"1.0"},"canonical_sha256":"0bd9755f4000c865fc2f55226eaf659889170f5e1c5a5afd43a66173e3f5d3f0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:59:32.913938Z","signature_b64":"OXWVW6TIJdu3QliOnXdwZJ7TahpXoXP4IvDe0BNvOLRSI1sjKYHJa5lirjd6cbOBHWQ0ua+mNaHcHXrXGvdZDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0bd9755f4000c865fc2f55226eaf659889170f5e1c5a5afd43a66173e3f5d3f0","last_reissued_at":"2026-05-18T02:59:32.913153Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:59:32.913153Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.1956","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-18T02:59:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r82BXSiqCs1LX4ag0ciDcKPpfT47J8uZYUMtRB6dRaKQK5cTJeOecJZy1VzoYE9LQCCTllCn2YnjjiyzFiUICg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T11:42:31.996853Z"},"content_sha256":"f44788c11e22ad4545724826cabf49c7195846e647f20b327082d2ee0fb2e130","schema_version":"1.0","event_id":"sha256:f44788c11e22ad4545724826cabf49c7195846e647f20b327082d2ee0fb2e130"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:BPMXKX2AADEGL7BPKURG5L3FTC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Revisiting the Learned Clauses Database Reduction Strategies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jerry Lonlac, Lakhdar Sais, Said Jabbour, Yakoub Salhi","submitted_at":"2014-02-09T15:14:24Z","abstract_excerpt":"In this paper, we revisit an important issue of CDCL-based SAT solvers, namely the learned clauses database management policies. Our motivation takes its source from a simple observation on the remarkable performances of both random and size-bounded reduction strategies. We first derive a simple reduction strategy, called Size-Bounded Randomized strategy (in short SBR), that combines maintaing short clauses (of size bounded by k), while deleting randomly clauses of size greater than k. The resulting strategy outperform the state-of-the-art, namely the LBD based one, on SAT instances taken from"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.1956","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-18T02:59:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sMlCaXgquExpvI0YOZpCS0n3VPnmennTnZkJ7NP666EEKEGW+6xPar5sj/SHny7IpgzidbIM3CCGWfcQiH1wDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T11:42:31.997192Z"},"content_sha256":"6b6f898ef520121b018ef0ebeb62b15c78115eb243cb139862c779ab92890f6b","schema_version":"1.0","event_id":"sha256:6b6f898ef520121b018ef0ebeb62b15c78115eb243cb139862c779ab92890f6b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BPMXKX2AADEGL7BPKURG5L3FTC/bundle.json","state_url":"https://pith.science/pith/BPMXKX2AADEGL7BPKURG5L3FTC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BPMXKX2AADEGL7BPKURG5L3FTC/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-27T11:42:31Z","links":{"resolver":"https://pith.science/pith/BPMXKX2AADEGL7BPKURG5L3FTC","bundle":"https://pith.science/pith/BPMXKX2AADEGL7BPKURG5L3FTC/bundle.json","state":"https://pith.science/pith/BPMXKX2AADEGL7BPKURG5L3FTC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BPMXKX2AADEGL7BPKURG5L3FTC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:BPMXKX2AADEGL7BPKURG5L3FTC","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":"3ec83f8617217c6057b99368ae3637ebb56814bbc2ab89950e7d405de4630e0e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-09T15:14:24Z","title_canon_sha256":"8e01f38759525a6610e9a7ce2e042ee3925a85b7b46704fe3b2cc1e288e29db0"},"schema_version":"1.0","source":{"id":"1402.1956","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.1956","created_at":"2026-05-18T02:59:32Z"},{"alias_kind":"arxiv_version","alias_value":"1402.1956v1","created_at":"2026-05-18T02:59:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.1956","created_at":"2026-05-18T02:59:32Z"},{"alias_kind":"pith_short_12","alias_value":"BPMXKX2AADEG","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"BPMXKX2AADEGL7BP","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"BPMXKX2A","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:6b6f898ef520121b018ef0ebeb62b15c78115eb243cb139862c779ab92890f6b","target":"graph","created_at":"2026-05-18T02:59:32Z","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":"In this paper, we revisit an important issue of CDCL-based SAT solvers, namely the learned clauses database management policies. Our motivation takes its source from a simple observation on the remarkable performances of both random and size-bounded reduction strategies. We first derive a simple reduction strategy, called Size-Bounded Randomized strategy (in short SBR), that combines maintaing short clauses (of size bounded by k), while deleting randomly clauses of size greater than k. The resulting strategy outperform the state-of-the-art, namely the LBD based one, on SAT instances taken from","authors_text":"Jerry Lonlac, Lakhdar Sais, Said Jabbour, Yakoub Salhi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-09T15:14:24Z","title":"Revisiting the Learned Clauses Database Reduction Strategies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.1956","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:f44788c11e22ad4545724826cabf49c7195846e647f20b327082d2ee0fb2e130","target":"record","created_at":"2026-05-18T02:59:32Z","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":"3ec83f8617217c6057b99368ae3637ebb56814bbc2ab89950e7d405de4630e0e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-09T15:14:24Z","title_canon_sha256":"8e01f38759525a6610e9a7ce2e042ee3925a85b7b46704fe3b2cc1e288e29db0"},"schema_version":"1.0","source":{"id":"1402.1956","kind":"arxiv","version":1}},"canonical_sha256":"0bd9755f4000c865fc2f55226eaf659889170f5e1c5a5afd43a66173e3f5d3f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0bd9755f4000c865fc2f55226eaf659889170f5e1c5a5afd43a66173e3f5d3f0","first_computed_at":"2026-05-18T02:59:32.913153Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:59:32.913153Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OXWVW6TIJdu3QliOnXdwZJ7TahpXoXP4IvDe0BNvOLRSI1sjKYHJa5lirjd6cbOBHWQ0ua+mNaHcHXrXGvdZDA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:59:32.913938Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.1956","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f44788c11e22ad4545724826cabf49c7195846e647f20b327082d2ee0fb2e130","sha256:6b6f898ef520121b018ef0ebeb62b15c78115eb243cb139862c779ab92890f6b"],"state_sha256":"3ed5ec821c2643c655b112ac4594e161067d2596312346d537f6d83259bab830"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KR1Axi3OJTcrZdevDOPihgQVF/EHpDVhdjkAg0S9NwR/doMIrjzvf3RsKdmN/GtRSD1JSFotCWi//u75x3H5Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T11:42:31.998983Z","bundle_sha256":"ca07e4cecf38dbce3a2d032d68dffeada93ab6b23372c3c841ebd3d4f6728037"}}