{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:BPR6LFBM66IUGIATCQ44WWWCEO","short_pith_number":"pith:BPR6LFBM","canonical_record":{"source":{"id":"1107.3724","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-07-19T14:25:10Z","cross_cats_sorted":["q-bio.PE"],"title_canon_sha256":"f2a762c4b0d7b1dde355bded4622b8f083e578ee20505ad3a680b463122a2b60","abstract_canon_sha256":"c8d3623afe6ace3d3841e5a43951906a1063fafb1b11c3751603317d6f733b06"},"schema_version":"1.0"},"canonical_sha256":"0be3e5942cf7914320131439cb5ac223997c4874827d7526a7d22e0d0fa60752","source":{"kind":"arxiv","id":"1107.3724","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.3724","created_at":"2026-05-18T03:06:52Z"},{"alias_kind":"arxiv_version","alias_value":"1107.3724v1","created_at":"2026-05-18T03:06:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.3724","created_at":"2026-05-18T03:06:52Z"},{"alias_kind":"pith_short_12","alias_value":"BPR6LFBM66IU","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"BPR6LFBM66IUGIAT","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"BPR6LFBM","created_at":"2026-05-18T12:26:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:BPR6LFBM66IUGIATCQ44WWWCEO","target":"record","payload":{"canonical_record":{"source":{"id":"1107.3724","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-07-19T14:25:10Z","cross_cats_sorted":["q-bio.PE"],"title_canon_sha256":"f2a762c4b0d7b1dde355bded4622b8f083e578ee20505ad3a680b463122a2b60","abstract_canon_sha256":"c8d3623afe6ace3d3841e5a43951906a1063fafb1b11c3751603317d6f733b06"},"schema_version":"1.0"},"canonical_sha256":"0be3e5942cf7914320131439cb5ac223997c4874827d7526a7d22e0d0fa60752","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:06:52.112633Z","signature_b64":"R5lHoKfeAMSIZBwpl+oYYaGFtQDPpX38HOFI8igjSB5y2eTfzVj1duLaFpwCSwOXQDOmh30/Wm2Cmfgqj6+RDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0be3e5942cf7914320131439cb5ac223997c4874827d7526a7d22e0d0fa60752","last_reissued_at":"2026-05-18T03:06:52.111944Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:06:52.111944Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.3724","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-18T03:06:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ug456tqEvixVIBwn53BGCAlu68++9LN0XVCZ6jk+bEoAE56pWKKXQ3X24ynElmDdA6sR24NgCOpKbP4WTHERDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T10:22:20.760503Z"},"content_sha256":"7a057cb3c35ee3ead21cbaaa19979551c756bdbe740924f30761bd964092d069","schema_version":"1.0","event_id":"sha256:7a057cb3c35ee3ead21cbaaa19979551c756bdbe740924f30761bd964092d069"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:BPR6LFBM66IUGIATCQ44WWWCEO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Haplotype Inference on Pedigrees with Recombinations, Errors, and Missing Genotypes via SAT solvers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.PE"],"primary_cat":"cs.DS","authors_text":"Alessandra Stella, Gianluca Della Vedova, Paola Bonizzoni, Stefano Biffani, Yuri Pirola","submitted_at":"2011-07-19T14:25:10Z","abstract_excerpt":"The Minimum-Recombinant Haplotype Configuration problem (MRHC) has been highly successful in providing a sound combinatorial formulation for the important problem of genotype phasing on pedigrees. Despite several algorithmic advances and refinements that led to some efficient algorithms, its applicability to real datasets has been limited by the absence of some important characteristics of these data in its formulation, such as mutations, genotyping errors, and missing data.\n  In this work, we propose the Haplotype Configuration with Recombinations and Errors problem (HCRE), which generalizes "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.3724","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-18T03:06:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f5nUP5UgeUDSVDiJd7C+GnwrU0CqGdHTxhPMQBUX3x/qTWBzXpW5tyTyIBsXqIWetoYUjjCKgYBd0LCx/VTlAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T10:22:20.760845Z"},"content_sha256":"a5871b52ba09f6dcca96dd805ac7d924e8261ed019819f40f0a927bc695f7108","schema_version":"1.0","event_id":"sha256:a5871b52ba09f6dcca96dd805ac7d924e8261ed019819f40f0a927bc695f7108"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO/bundle.json","state_url":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BPR6LFBM66IUGIATCQ44WWWCEO/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-05-28T10:22:20Z","links":{"resolver":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO","bundle":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO/bundle.json","state":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BPR6LFBM66IUGIATCQ44WWWCEO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:BPR6LFBM66IUGIATCQ44WWWCEO","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":"c8d3623afe6ace3d3841e5a43951906a1063fafb1b11c3751603317d6f733b06","cross_cats_sorted":["q-bio.PE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-07-19T14:25:10Z","title_canon_sha256":"f2a762c4b0d7b1dde355bded4622b8f083e578ee20505ad3a680b463122a2b60"},"schema_version":"1.0","source":{"id":"1107.3724","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.3724","created_at":"2026-05-18T03:06:52Z"},{"alias_kind":"arxiv_version","alias_value":"1107.3724v1","created_at":"2026-05-18T03:06:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.3724","created_at":"2026-05-18T03:06:52Z"},{"alias_kind":"pith_short_12","alias_value":"BPR6LFBM66IU","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"BPR6LFBM66IUGIAT","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"BPR6LFBM","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:a5871b52ba09f6dcca96dd805ac7d924e8261ed019819f40f0a927bc695f7108","target":"graph","created_at":"2026-05-18T03:06:52Z","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-Recombinant Haplotype Configuration problem (MRHC) has been highly successful in providing a sound combinatorial formulation for the important problem of genotype phasing on pedigrees. Despite several algorithmic advances and refinements that led to some efficient algorithms, its applicability to real datasets has been limited by the absence of some important characteristics of these data in its formulation, such as mutations, genotyping errors, and missing data.\n  In this work, we propose the Haplotype Configuration with Recombinations and Errors problem (HCRE), which generalizes ","authors_text":"Alessandra Stella, Gianluca Della Vedova, Paola Bonizzoni, Stefano Biffani, Yuri Pirola","cross_cats":["q-bio.PE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-07-19T14:25:10Z","title":"Haplotype Inference on Pedigrees with Recombinations, Errors, and Missing Genotypes via SAT solvers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.3724","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:7a057cb3c35ee3ead21cbaaa19979551c756bdbe740924f30761bd964092d069","target":"record","created_at":"2026-05-18T03:06:52Z","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":"c8d3623afe6ace3d3841e5a43951906a1063fafb1b11c3751603317d6f733b06","cross_cats_sorted":["q-bio.PE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-07-19T14:25:10Z","title_canon_sha256":"f2a762c4b0d7b1dde355bded4622b8f083e578ee20505ad3a680b463122a2b60"},"schema_version":"1.0","source":{"id":"1107.3724","kind":"arxiv","version":1}},"canonical_sha256":"0be3e5942cf7914320131439cb5ac223997c4874827d7526a7d22e0d0fa60752","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0be3e5942cf7914320131439cb5ac223997c4874827d7526a7d22e0d0fa60752","first_computed_at":"2026-05-18T03:06:52.111944Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:06:52.111944Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R5lHoKfeAMSIZBwpl+oYYaGFtQDPpX38HOFI8igjSB5y2eTfzVj1duLaFpwCSwOXQDOmh30/Wm2Cmfgqj6+RDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:06:52.112633Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.3724","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7a057cb3c35ee3ead21cbaaa19979551c756bdbe740924f30761bd964092d069","sha256:a5871b52ba09f6dcca96dd805ac7d924e8261ed019819f40f0a927bc695f7108"],"state_sha256":"806d14e28dd9b4c42152591c2f90611abf6f7bfd25aafdd00e6e5f6e4a2d7446"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TNWLO4DwWQL77pE5RBenwuOTIeRhboTPXVLV5eLo+yiT50uaVSMeAeiIJ4zDwFPbSPiDoP8AI7Ou9I9uUFwjBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T10:22:20.762727Z","bundle_sha256":"0748e023178bcfe451c027eae4bf83eb934494891adfc60130fee95b1b7bf25e"}}