{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:JX4AW2KXU3R7XJZZ5SU7IQFJOJ","short_pith_number":"pith:JX4AW2KX","canonical_record":{"source":{"id":"1405.5646","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-22T07:37:56Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"98ae9b41d855d02f074b8fbde004a7570b125ba8f59074b8c719cc85d91ffb5f","abstract_canon_sha256":"a70b0dae226a209ff5d5f44df7cf195cf4dbda4594fe8e6eeade1bd9cb07c37a"},"schema_version":"1.0"},"canonical_sha256":"4df80b6957a6e3fba739eca9f440a97274b3e60e6e37cdb5cede8dd20bc27604","source":{"kind":"arxiv","id":"1405.5646","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.5646","created_at":"2026-05-18T02:51:16Z"},{"alias_kind":"arxiv_version","alias_value":"1405.5646v1","created_at":"2026-05-18T02:51:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.5646","created_at":"2026-05-18T02:51:16Z"},{"alias_kind":"pith_short_12","alias_value":"JX4AW2KXU3R7","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"JX4AW2KXU3R7XJZZ","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"JX4AW2KX","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:JX4AW2KXU3R7XJZZ5SU7IQFJOJ","target":"record","payload":{"canonical_record":{"source":{"id":"1405.5646","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-22T07:37:56Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"98ae9b41d855d02f074b8fbde004a7570b125ba8f59074b8c719cc85d91ffb5f","abstract_canon_sha256":"a70b0dae226a209ff5d5f44df7cf195cf4dbda4594fe8e6eeade1bd9cb07c37a"},"schema_version":"1.0"},"canonical_sha256":"4df80b6957a6e3fba739eca9f440a97274b3e60e6e37cdb5cede8dd20bc27604","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:16.048602Z","signature_b64":"vpv+XNV1axEv1cQbi6joFIlEGuqgTz8Prq9C1oPSHmkvfHP74dUlyrpy2qr4fENGmclbjpUaZqJQprF4GRHGAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4df80b6957a6e3fba739eca9f440a97274b3e60e6e37cdb5cede8dd20bc27604","last_reissued_at":"2026-05-18T02:51:16.047954Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:16.047954Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.5646","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:51:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FXw7C6Ux1Wr9j9D7S1QrBBSgRCI7OyF/W73RJ4xaUy8+jzkYxKl+oM5fsg4eZH0DoiLWhdJNZYprxKdT+GvgCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T06:27:16.445697Z"},"content_sha256":"a69bf0ba02ea2abe0cd579bb3aee595f0a83ce3ad0f30508b06696d687971296","schema_version":"1.0","event_id":"sha256:a69bf0ba02ea2abe0cd579bb3aee595f0a83ce3ad0f30508b06696d687971296"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:JX4AW2KXU3R7XJZZ5SU7IQFJOJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mathematical Programming Strategies for Solving the Minimum Common String Partition Problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.AI","authors_text":"Christian Blum, Jos\\'e A. Lozano, Pedro Pinacho Davidson","submitted_at":"2014-05-22T07:37:56Z","abstract_excerpt":"The minimum common string partition problem is an NP-hard combinatorial optimization problem with applications in computational biology. In this work we propose the first integer linear programming model for solving this problem. Moreover, on the basis of the integer linear programming model we develop a deterministic 2-phase heuristic which is applicable to larger problem instances. The results show that provenly optimal solutions can be obtained for problem instances of small and medium size from the literature by solving the proposed integer linear programming model with CPLEX. Furthermore,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.5646","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:51:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hKN5ZJrD1z7AihRMiHVu9uXntq0kpbTBYLweqARhMdaxgORfUz15T2PIwOnG8LolFrhdWLNICuJh833pOnA6AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T06:27:16.446129Z"},"content_sha256":"28344ca121c190789740438b8af3e6a00ce5b1ae709286edc27c981980acc4ce","schema_version":"1.0","event_id":"sha256:28344ca121c190789740438b8af3e6a00ce5b1ae709286edc27c981980acc4ce"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JX4AW2KXU3R7XJZZ5SU7IQFJOJ/bundle.json","state_url":"https://pith.science/pith/JX4AW2KXU3R7XJZZ5SU7IQFJOJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JX4AW2KXU3R7XJZZ5SU7IQFJOJ/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-12T06:27:16Z","links":{"resolver":"https://pith.science/pith/JX4AW2KXU3R7XJZZ5SU7IQFJOJ","bundle":"https://pith.science/pith/JX4AW2KXU3R7XJZZ5SU7IQFJOJ/bundle.json","state":"https://pith.science/pith/JX4AW2KXU3R7XJZZ5SU7IQFJOJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JX4AW2KXU3R7XJZZ5SU7IQFJOJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:JX4AW2KXU3R7XJZZ5SU7IQFJOJ","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":"a70b0dae226a209ff5d5f44df7cf195cf4dbda4594fe8e6eeade1bd9cb07c37a","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-22T07:37:56Z","title_canon_sha256":"98ae9b41d855d02f074b8fbde004a7570b125ba8f59074b8c719cc85d91ffb5f"},"schema_version":"1.0","source":{"id":"1405.5646","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.5646","created_at":"2026-05-18T02:51:16Z"},{"alias_kind":"arxiv_version","alias_value":"1405.5646v1","created_at":"2026-05-18T02:51:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.5646","created_at":"2026-05-18T02:51:16Z"},{"alias_kind":"pith_short_12","alias_value":"JX4AW2KXU3R7","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"JX4AW2KXU3R7XJZZ","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"JX4AW2KX","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:28344ca121c190789740438b8af3e6a00ce5b1ae709286edc27c981980acc4ce","target":"graph","created_at":"2026-05-18T02:51:16Z","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":"The minimum common string partition problem is an NP-hard combinatorial optimization problem with applications in computational biology. In this work we propose the first integer linear programming model for solving this problem. Moreover, on the basis of the integer linear programming model we develop a deterministic 2-phase heuristic which is applicable to larger problem instances. The results show that provenly optimal solutions can be obtained for problem instances of small and medium size from the literature by solving the proposed integer linear programming model with CPLEX. Furthermore,","authors_text":"Christian Blum, Jos\\'e A. Lozano, Pedro Pinacho Davidson","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-22T07:37:56Z","title":"Mathematical Programming Strategies for Solving the Minimum Common String Partition Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.5646","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:a69bf0ba02ea2abe0cd579bb3aee595f0a83ce3ad0f30508b06696d687971296","target":"record","created_at":"2026-05-18T02:51:16Z","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":"a70b0dae226a209ff5d5f44df7cf195cf4dbda4594fe8e6eeade1bd9cb07c37a","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-22T07:37:56Z","title_canon_sha256":"98ae9b41d855d02f074b8fbde004a7570b125ba8f59074b8c719cc85d91ffb5f"},"schema_version":"1.0","source":{"id":"1405.5646","kind":"arxiv","version":1}},"canonical_sha256":"4df80b6957a6e3fba739eca9f440a97274b3e60e6e37cdb5cede8dd20bc27604","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4df80b6957a6e3fba739eca9f440a97274b3e60e6e37cdb5cede8dd20bc27604","first_computed_at":"2026-05-18T02:51:16.047954Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:16.047954Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vpv+XNV1axEv1cQbi6joFIlEGuqgTz8Prq9C1oPSHmkvfHP74dUlyrpy2qr4fENGmclbjpUaZqJQprF4GRHGAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:16.048602Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.5646","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a69bf0ba02ea2abe0cd579bb3aee595f0a83ce3ad0f30508b06696d687971296","sha256:28344ca121c190789740438b8af3e6a00ce5b1ae709286edc27c981980acc4ce"],"state_sha256":"8a4bc3dc91ca5ac5266fc32a2bb26fd306b7ab813a4fb34b362ef823aa68c4d2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JbRN91kIxlqYy5lIQoKfdN+9Mc7hdTuMyyGBx4vcdMCpNQpXi/U4aSoNNmebikC1qC+9mdBQzzyEFFJR1MGFAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T06:27:16.448595Z","bundle_sha256":"8f15c762be3e86123bd17ac620c26d47e11d609ca4c9c2ae90f3fb44fcc78a6d"}}