{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:YDTT6W3B5EJNZXTJPTTIGA2QTK","short_pith_number":"pith:YDTT6W3B","canonical_record":{"source":{"id":"1506.02561","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-08T15:50:57Z","cross_cats_sorted":[],"title_canon_sha256":"082fdb0a64fa828bf03f6992b692d6fb0c7a344597425705192e67052b441979","abstract_canon_sha256":"2809933b41f54aaaf830608ca857fc1d5a8e335e32aa68dc391c0d5c78d7f9f1"},"schema_version":"1.0"},"canonical_sha256":"c0e73f5b61e912dcde697ce68303509aa912ffb63fa6e1452a518035146e31f9","source":{"kind":"arxiv","id":"1506.02561","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.02561","created_at":"2026-05-18T01:55:50Z"},{"alias_kind":"arxiv_version","alias_value":"1506.02561v1","created_at":"2026-05-18T01:55:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.02561","created_at":"2026-05-18T01:55:50Z"},{"alias_kind":"pith_short_12","alias_value":"YDTT6W3B5EJN","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"YDTT6W3B5EJNZXTJ","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"YDTT6W3B","created_at":"2026-05-18T12:29:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:YDTT6W3B5EJNZXTJPTTIGA2QTK","target":"record","payload":{"canonical_record":{"source":{"id":"1506.02561","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-08T15:50:57Z","cross_cats_sorted":[],"title_canon_sha256":"082fdb0a64fa828bf03f6992b692d6fb0c7a344597425705192e67052b441979","abstract_canon_sha256":"2809933b41f54aaaf830608ca857fc1d5a8e335e32aa68dc391c0d5c78d7f9f1"},"schema_version":"1.0"},"canonical_sha256":"c0e73f5b61e912dcde697ce68303509aa912ffb63fa6e1452a518035146e31f9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:55:50.684637Z","signature_b64":"GEGBlKZoGtUMZUfWX7VnFROP9Tb07FQyq784oej8r7znHxksG+VyTvl8MM3IhqaOjagH0dAfPtbxpYUYEbrEDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c0e73f5b61e912dcde697ce68303509aa912ffb63fa6e1452a518035146e31f9","last_reissued_at":"2026-05-18T01:55:50.683912Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:55:50.683912Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.02561","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-18T01:55:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h3J271RiG4k7hQNWTANBOfrOGWCSpeKZOEJKp2t76x0TvGZGpV4NTT9XUDJxo1eZuZUVAsfvS79lL1FAeD+GDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T19:40:53.332522Z"},"content_sha256":"2e759aa269f878e160cffea2c640d4bc65de3f9d648086bdfc3b52096cfc800a","schema_version":"1.0","event_id":"sha256:2e759aa269f878e160cffea2c640d4bc65de3f9d648086bdfc3b52096cfc800a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:YDTT6W3B5EJNZXTJPTTIGA2QTK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On SAT Models Enumeration in Itemset Mining","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Lakhdar Sais, Said Jabbour, Yakoub Salhi","submitted_at":"2015-06-08T15:50:57Z","abstract_excerpt":"Frequent itemset mining is an essential part of data analysis and data mining. Recent works propose interesting SAT-based encodings for the problem of discovering frequent itemsets. Our aim in this work is to define strategies for adapting SAT solvers to such encodings in order to improve models enumeration. In this context, we deeply study the effects of restart, branching heuristics and clauses learning. We then conduct an experimental evaluation on SAT-Based itemset mining instances to show how SAT solvers can be adapted to obtain an efficient SAT model enumerator."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.02561","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-18T01:55:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9cJudPmxKYe5sK8O84UQW7y6puNPN88eLJ0Ug1R+HaXi096Vgr9LyDuhmAqPUKvqTrsa3MKQErYAkZIMOXW4Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T19:40:53.332859Z"},"content_sha256":"6fa2d4ea66148bbb10ab1aa79b10360810808db1ca7e3b94302796bbfd68ce46","schema_version":"1.0","event_id":"sha256:6fa2d4ea66148bbb10ab1aa79b10360810808db1ca7e3b94302796bbfd68ce46"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YDTT6W3B5EJNZXTJPTTIGA2QTK/bundle.json","state_url":"https://pith.science/pith/YDTT6W3B5EJNZXTJPTTIGA2QTK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YDTT6W3B5EJNZXTJPTTIGA2QTK/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-27T19:40:53Z","links":{"resolver":"https://pith.science/pith/YDTT6W3B5EJNZXTJPTTIGA2QTK","bundle":"https://pith.science/pith/YDTT6W3B5EJNZXTJPTTIGA2QTK/bundle.json","state":"https://pith.science/pith/YDTT6W3B5EJNZXTJPTTIGA2QTK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YDTT6W3B5EJNZXTJPTTIGA2QTK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:YDTT6W3B5EJNZXTJPTTIGA2QTK","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":"2809933b41f54aaaf830608ca857fc1d5a8e335e32aa68dc391c0d5c78d7f9f1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-08T15:50:57Z","title_canon_sha256":"082fdb0a64fa828bf03f6992b692d6fb0c7a344597425705192e67052b441979"},"schema_version":"1.0","source":{"id":"1506.02561","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.02561","created_at":"2026-05-18T01:55:50Z"},{"alias_kind":"arxiv_version","alias_value":"1506.02561v1","created_at":"2026-05-18T01:55:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.02561","created_at":"2026-05-18T01:55:50Z"},{"alias_kind":"pith_short_12","alias_value":"YDTT6W3B5EJN","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"YDTT6W3B5EJNZXTJ","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"YDTT6W3B","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:6fa2d4ea66148bbb10ab1aa79b10360810808db1ca7e3b94302796bbfd68ce46","target":"graph","created_at":"2026-05-18T01:55:50Z","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":"Frequent itemset mining is an essential part of data analysis and data mining. Recent works propose interesting SAT-based encodings for the problem of discovering frequent itemsets. Our aim in this work is to define strategies for adapting SAT solvers to such encodings in order to improve models enumeration. In this context, we deeply study the effects of restart, branching heuristics and clauses learning. We then conduct an experimental evaluation on SAT-Based itemset mining instances to show how SAT solvers can be adapted to obtain an efficient SAT model enumerator.","authors_text":"Lakhdar Sais, Said Jabbour, Yakoub Salhi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-08T15:50:57Z","title":"On SAT Models Enumeration in Itemset Mining"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.02561","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:2e759aa269f878e160cffea2c640d4bc65de3f9d648086bdfc3b52096cfc800a","target":"record","created_at":"2026-05-18T01:55:50Z","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":"2809933b41f54aaaf830608ca857fc1d5a8e335e32aa68dc391c0d5c78d7f9f1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-08T15:50:57Z","title_canon_sha256":"082fdb0a64fa828bf03f6992b692d6fb0c7a344597425705192e67052b441979"},"schema_version":"1.0","source":{"id":"1506.02561","kind":"arxiv","version":1}},"canonical_sha256":"c0e73f5b61e912dcde697ce68303509aa912ffb63fa6e1452a518035146e31f9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c0e73f5b61e912dcde697ce68303509aa912ffb63fa6e1452a518035146e31f9","first_computed_at":"2026-05-18T01:55:50.683912Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:55:50.683912Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GEGBlKZoGtUMZUfWX7VnFROP9Tb07FQyq784oej8r7znHxksG+VyTvl8MM3IhqaOjagH0dAfPtbxpYUYEbrEDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:55:50.684637Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.02561","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2e759aa269f878e160cffea2c640d4bc65de3f9d648086bdfc3b52096cfc800a","sha256:6fa2d4ea66148bbb10ab1aa79b10360810808db1ca7e3b94302796bbfd68ce46"],"state_sha256":"462cee032765921e17299084eeba9e5062e85ae9eaf60be49248b267abb5ff45"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"huGJUjsJavKx6VW5/41Sg20J3GxpPsSdSfSVhnylhxRXOgVs6qQ+0dK/HuWdHfH5XpfIK54ZbY6YcV18efSYCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T19:40:53.334731Z","bundle_sha256":"fb180307ae202cdb37e7a5eb5cd2eb5f4cc7c058c9eabea0d625247fa7bfa659"}}