{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:52NCGMQ5QKFKCY24I4B52VGXJH","short_pith_number":"pith:52NCGMQ5","schema_version":"1.0","canonical_sha256":"ee9a23321d828aa1635c4703dd54d749eb62fdeddc82ff26cde28efd54aea8bf","source":{"kind":"arxiv","id":"1707.01972","version":1},"attestation_state":"computed","paper":{"title":"Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva","submitted_at":"2017-07-06T21:34:48Z","abstract_excerpt":"Model based diagnosis finds a growing range of practical applications, and significant performance-wise improvements have been achieved in recent years. Some of these improvements result from formulating the problem with maximum satisfiability (MaxSAT). Whereas recent work focuses on analyzing failing observations separately, it is also the case that in practical settings there may exist many failing observations. This paper first investigates the drawbacks of analyzing failing observations separately. It then shows that existing solutions do not scale for large systems. Finally, the paper pro"},"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":"1707.01972","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-06T21:34:48Z","cross_cats_sorted":[],"title_canon_sha256":"6cea5f9cf2a72c583bdc0c604401960b462160fe53f26a0510510175a32c3ab3","abstract_canon_sha256":"55367af7a1b4669ab6b7b6a97ca09e82fe99a77cb15d99215c381213265b3ebd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:45.682791Z","signature_b64":"usWWio6Xd8beK3Vg0moaKb3u4XyL7IzeQiLWsrnXXNNxcEiCx+/0l1/AO9FB5SQVDBc9WrdT4WinKlNGvU+KBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee9a23321d828aa1635c4703dd54d749eb62fdeddc82ff26cde28efd54aea8bf","last_reissued_at":"2026-05-18T00:40:45.682123Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:45.682123Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva","submitted_at":"2017-07-06T21:34:48Z","abstract_excerpt":"Model based diagnosis finds a growing range of practical applications, and significant performance-wise improvements have been achieved in recent years. Some of these improvements result from formulating the problem with maximum satisfiability (MaxSAT). Whereas recent work focuses on analyzing failing observations separately, it is also the case that in practical settings there may exist many failing observations. This paper first investigates the drawbacks of analyzing failing observations separately. It then shows that existing solutions do not scale for large systems. Finally, the paper pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.01972","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":"1707.01972","created_at":"2026-05-18T00:40:45.682211+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.01972v1","created_at":"2026-05-18T00:40:45.682211+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01972","created_at":"2026-05-18T00:40:45.682211+00:00"},{"alias_kind":"pith_short_12","alias_value":"52NCGMQ5QKFK","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_16","alias_value":"52NCGMQ5QKFKCY24","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_8","alias_value":"52NCGMQ5","created_at":"2026-05-18T12:31:00.734936+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/52NCGMQ5QKFKCY24I4B52VGXJH","json":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH.json","graph_json":"https://pith.science/api/pith-number/52NCGMQ5QKFKCY24I4B52VGXJH/graph.json","events_json":"https://pith.science/api/pith-number/52NCGMQ5QKFKCY24I4B52VGXJH/events.json","paper":"https://pith.science/paper/52NCGMQ5"},"agent_actions":{"view_html":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH","download_json":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH.json","view_paper":"https://pith.science/paper/52NCGMQ5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.01972&json=true","fetch_graph":"https://pith.science/api/pith-number/52NCGMQ5QKFKCY24I4B52VGXJH/graph.json","fetch_events":"https://pith.science/api/pith-number/52NCGMQ5QKFKCY24I4B52VGXJH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH/action/storage_attestation","attest_author":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH/action/author_attestation","sign_citation":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH/action/citation_signature","submit_replication":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH/action/replication_record"}},"created_at":"2026-05-18T00:40:45.682211+00:00","updated_at":"2026-05-18T00:40:45.682211+00:00"}