{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:BPR6LFBM66IUGIATCQ44WWWCEO","short_pith_number":"pith:BPR6LFBM","schema_version":"1.0","canonical_sha256":"0be3e5942cf7914320131439cb5ac223997c4874827d7526a7d22e0d0fa60752","source":{"kind":"arxiv","id":"1107.3724","version":1},"attestation_state":"computed","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 "},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1107.3724","created_at":"2026-05-18T03:06:52.112049+00:00"},{"alias_kind":"arxiv_version","alias_value":"1107.3724v1","created_at":"2026-05-18T03:06:52.112049+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.3724","created_at":"2026-05-18T03:06:52.112049+00:00"},{"alias_kind":"pith_short_12","alias_value":"BPR6LFBM66IU","created_at":"2026-05-18T12:26:24.575870+00:00"},{"alias_kind":"pith_short_16","alias_value":"BPR6LFBM66IUGIAT","created_at":"2026-05-18T12:26:24.575870+00:00"},{"alias_kind":"pith_short_8","alias_value":"BPR6LFBM","created_at":"2026-05-18T12:26:24.575870+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/BPR6LFBM66IUGIATCQ44WWWCEO","json":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO.json","graph_json":"https://pith.science/api/pith-number/BPR6LFBM66IUGIATCQ44WWWCEO/graph.json","events_json":"https://pith.science/api/pith-number/BPR6LFBM66IUGIATCQ44WWWCEO/events.json","paper":"https://pith.science/paper/BPR6LFBM"},"agent_actions":{"view_html":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO","download_json":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO.json","view_paper":"https://pith.science/paper/BPR6LFBM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1107.3724&json=true","fetch_graph":"https://pith.science/api/pith-number/BPR6LFBM66IUGIATCQ44WWWCEO/graph.json","fetch_events":"https://pith.science/api/pith-number/BPR6LFBM66IUGIATCQ44WWWCEO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO/action/storage_attestation","attest_author":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO/action/author_attestation","sign_citation":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO/action/citation_signature","submit_replication":"https://pith.science/pith/BPR6LFBM66IUGIATCQ44WWWCEO/action/replication_record"}},"created_at":"2026-05-18T03:06:52.112049+00:00","updated_at":"2026-05-18T03:06:52.112049+00:00"}