{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:TFPIFOREFJH5U44G545DHAW4WM","short_pith_number":"pith:TFPIFORE","schema_version":"1.0","canonical_sha256":"995e82ba242a4fda7386ef3a3382dcb30161fda6a95c4446a329128ba0981e85","source":{"kind":"arxiv","id":"1705.10898","version":1},"attestation_state":"computed","paper":{"title":"Towards Learned Clauses Database Reduction Strategies Based on Dominance Relationship","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Engelbert Mephu Nguifo, Jerry Lonlac","submitted_at":"2017-05-31T00:05:26Z","abstract_excerpt":"Clause Learning is one of the most important components of a conflict driven clause learning (CDCL) SAT solver that is effective on industrial instances. Since the number of learned clauses is proved to be exponential in the worse case, it is necessary to identify the most relevant clauses to maintain and delete the irrelevant ones. As reported in the literature, several learned clauses deletion strategies have been proposed. However the diversity in both the number of clauses to be removed at each step of reduction and the results obtained with each strategy creates confusion to determine whi"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1705.10898","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-31T00:05:26Z","cross_cats_sorted":[],"title_canon_sha256":"e8cdae32c475698da07eebe8f1d167f687572007b9c180c477fde56b9628cc01","abstract_canon_sha256":"3f2a0255e6932a7da3a19fb8a40b13ee4bf87c642b39611085018744120c3026"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:43:19.949138Z","signature_b64":"c5zz6Ps6TNrtbBBg6Cj2FuYm1/LhN2IswKtTjJgm7hsMNZTuuguv956TaV44TEFbgIQdlZ/RNaBVYP3bnde7CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"995e82ba242a4fda7386ef3a3382dcb30161fda6a95c4446a329128ba0981e85","last_reissued_at":"2026-05-18T00:43:19.948392Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:43:19.948392Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards Learned Clauses Database Reduction Strategies Based on Dominance Relationship","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Engelbert Mephu Nguifo, Jerry Lonlac","submitted_at":"2017-05-31T00:05:26Z","abstract_excerpt":"Clause Learning is one of the most important components of a conflict driven clause learning (CDCL) SAT solver that is effective on industrial instances. Since the number of learned clauses is proved to be exponential in the worse case, it is necessary to identify the most relevant clauses to maintain and delete the irrelevant ones. As reported in the literature, several learned clauses deletion strategies have been proposed. However the diversity in both the number of clauses to be removed at each step of reduction and the results obtained with each strategy creates confusion to determine whi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.10898","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1705.10898","created_at":"2026-05-18T00:43:19.948520+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.10898v1","created_at":"2026-05-18T00:43:19.948520+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.10898","created_at":"2026-05-18T00:43:19.948520+00:00"},{"alias_kind":"pith_short_12","alias_value":"TFPIFOREFJH5","created_at":"2026-05-18T12:31:46.661854+00:00"},{"alias_kind":"pith_short_16","alias_value":"TFPIFOREFJH5U44G","created_at":"2026-05-18T12:31:46.661854+00:00"},{"alias_kind":"pith_short_8","alias_value":"TFPIFORE","created_at":"2026-05-18T12:31:46.661854+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TFPIFOREFJH5U44G545DHAW4WM","json":"https://pith.science/pith/TFPIFOREFJH5U44G545DHAW4WM.json","graph_json":"https://pith.science/api/pith-number/TFPIFOREFJH5U44G545DHAW4WM/graph.json","events_json":"https://pith.science/api/pith-number/TFPIFOREFJH5U44G545DHAW4WM/events.json","paper":"https://pith.science/paper/TFPIFORE"},"agent_actions":{"view_html":"https://pith.science/pith/TFPIFOREFJH5U44G545DHAW4WM","download_json":"https://pith.science/pith/TFPIFOREFJH5U44G545DHAW4WM.json","view_paper":"https://pith.science/paper/TFPIFORE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.10898&json=true","fetch_graph":"https://pith.science/api/pith-number/TFPIFOREFJH5U44G545DHAW4WM/graph.json","fetch_events":"https://pith.science/api/pith-number/TFPIFOREFJH5U44G545DHAW4WM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TFPIFOREFJH5U44G545DHAW4WM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TFPIFOREFJH5U44G545DHAW4WM/action/storage_attestation","attest_author":"https://pith.science/pith/TFPIFOREFJH5U44G545DHAW4WM/action/author_attestation","sign_citation":"https://pith.science/pith/TFPIFOREFJH5U44G545DHAW4WM/action/citation_signature","submit_replication":"https://pith.science/pith/TFPIFOREFJH5U44G545DHAW4WM/action/replication_record"}},"created_at":"2026-05-18T00:43:19.948520+00:00","updated_at":"2026-05-18T00:43:19.948520+00:00"}