{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:Q5H6PTM6R5SZJ7F2IK2NOG44L7","short_pith_number":"pith:Q5H6PTM6","schema_version":"1.0","canonical_sha256":"874fe7cd9e8f6594fcba42b4d71b9c5ff3ff69061edc7a00179b491876c11324","source":{"kind":"arxiv","id":"1604.00300","version":1},"attestation_state":"computed","paper":{"title":"A SAT model to mine flexible sequences in transactional datasets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Benjamin Negrevergne, R\\'emi Coletta","submitted_at":"2016-04-01T15:49:51Z","abstract_excerpt":"Traditional pattern mining algorithms generally suffer from a lack of flexibility. In this paper, we propose a SAT formulation of the problem to successfully mine frequent flexible sequences occurring in transactional datasets. Our SAT-based approach can easily be extended with extra constraints to address a broad range of pattern mining applications. To demonstrate this claim, we formulate and add several constraints, such as gap and span constraints, to our model in order to extract more specific patterns. We also use interactive solving to perform important derived tasks, such as closed pat"},"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":"1604.00300","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-01T15:49:51Z","cross_cats_sorted":[],"title_canon_sha256":"b9a67c83778a5f56bfd5b4ffa507f6713134ea4387490564f0fb16d9a9b52fb1","abstract_canon_sha256":"da734edced166b1335a30a01024010d1fe1cf8ebbe556ba5bfd0841bd3b0d9e5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:54.071872Z","signature_b64":"HWjvI2MNgqwsk1JR5lWFUqC4wh9rfEPE6KkbxTUtc2vuaH//mlghcDYp7Swu7ar9QxKemCBdBSey8B+K9RDhCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"874fe7cd9e8f6594fcba42b4d71b9c5ff3ff69061edc7a00179b491876c11324","last_reissued_at":"2026-05-18T01:17:54.071220Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:54.071220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A SAT model to mine flexible sequences in transactional datasets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Benjamin Negrevergne, R\\'emi Coletta","submitted_at":"2016-04-01T15:49:51Z","abstract_excerpt":"Traditional pattern mining algorithms generally suffer from a lack of flexibility. In this paper, we propose a SAT formulation of the problem to successfully mine frequent flexible sequences occurring in transactional datasets. Our SAT-based approach can easily be extended with extra constraints to address a broad range of pattern mining applications. To demonstrate this claim, we formulate and add several constraints, such as gap and span constraints, to our model in order to extract more specific patterns. We also use interactive solving to perform important derived tasks, such as closed pat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.00300","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":"1604.00300","created_at":"2026-05-18T01:17:54.071326+00:00"},{"alias_kind":"arxiv_version","alias_value":"1604.00300v1","created_at":"2026-05-18T01:17:54.071326+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.00300","created_at":"2026-05-18T01:17:54.071326+00:00"},{"alias_kind":"pith_short_12","alias_value":"Q5H6PTM6R5SZ","created_at":"2026-05-18T12:30:39.010887+00:00"},{"alias_kind":"pith_short_16","alias_value":"Q5H6PTM6R5SZJ7F2","created_at":"2026-05-18T12:30:39.010887+00:00"},{"alias_kind":"pith_short_8","alias_value":"Q5H6PTM6","created_at":"2026-05-18T12:30:39.010887+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/Q5H6PTM6R5SZJ7F2IK2NOG44L7","json":"https://pith.science/pith/Q5H6PTM6R5SZJ7F2IK2NOG44L7.json","graph_json":"https://pith.science/api/pith-number/Q5H6PTM6R5SZJ7F2IK2NOG44L7/graph.json","events_json":"https://pith.science/api/pith-number/Q5H6PTM6R5SZJ7F2IK2NOG44L7/events.json","paper":"https://pith.science/paper/Q5H6PTM6"},"agent_actions":{"view_html":"https://pith.science/pith/Q5H6PTM6R5SZJ7F2IK2NOG44L7","download_json":"https://pith.science/pith/Q5H6PTM6R5SZJ7F2IK2NOG44L7.json","view_paper":"https://pith.science/paper/Q5H6PTM6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1604.00300&json=true","fetch_graph":"https://pith.science/api/pith-number/Q5H6PTM6R5SZJ7F2IK2NOG44L7/graph.json","fetch_events":"https://pith.science/api/pith-number/Q5H6PTM6R5SZJ7F2IK2NOG44L7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Q5H6PTM6R5SZJ7F2IK2NOG44L7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Q5H6PTM6R5SZJ7F2IK2NOG44L7/action/storage_attestation","attest_author":"https://pith.science/pith/Q5H6PTM6R5SZJ7F2IK2NOG44L7/action/author_attestation","sign_citation":"https://pith.science/pith/Q5H6PTM6R5SZJ7F2IK2NOG44L7/action/citation_signature","submit_replication":"https://pith.science/pith/Q5H6PTM6R5SZJ7F2IK2NOG44L7/action/replication_record"}},"created_at":"2026-05-18T01:17:54.071326+00:00","updated_at":"2026-05-18T01:17:54.071326+00:00"}