{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:52NCGMQ5QKFKCY24I4B52VGXJH","short_pith_number":"pith:52NCGMQ5","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"},"canonical_sha256":"ee9a23321d828aa1635c4703dd54d749eb62fdeddc82ff26cde28efd54aea8bf","source":{"kind":"arxiv","id":"1707.01972","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.01972","created_at":"2026-05-18T00:40:45Z"},{"alias_kind":"arxiv_version","alias_value":"1707.01972v1","created_at":"2026-05-18T00:40:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01972","created_at":"2026-05-18T00:40:45Z"},{"alias_kind":"pith_short_12","alias_value":"52NCGMQ5QKFK","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"52NCGMQ5QKFKCY24","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"52NCGMQ5","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:52NCGMQ5QKFKCY24I4B52VGXJH","target":"record","payload":{"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"},"canonical_sha256":"ee9a23321d828aa1635c4703dd54d749eb62fdeddc82ff26cde28efd54aea8bf","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"},"source_kind":"arxiv","source_id":"1707.01972","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-18T00:40:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N2vQOF0hFIj/yoC1n+LkorkSR6b6vVilkjSBOFwGxh3OQGB7HPrLT5obs7QCdn5lpOWbyc+pI8LNgZ1wQIjIAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T22:56:58.521463Z"},"content_sha256":"471fee2c16a9aa25482625b2ca53b6d0c9ca8ca31d42e0be34d5f94c833e18a0","schema_version":"1.0","event_id":"sha256:471fee2c16a9aa25482625b2ca53b6d0c9ca8ca31d42e0be34d5f94c833e18a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:52NCGMQ5QKFKCY24I4B52VGXJH","target":"graph","payload":{"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"},"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-18T00:40:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"23PG9l6Wf9+TE43J/lQiUBNNpi/evqkxZxwFLHojx5HAq5O1ERuJ/qXIsaNAXdlBh3bSPZpymEbnUNZsdVNPDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T22:56:58.522166Z"},"content_sha256":"f6c9fb92c6e3cc66dbedf67cb4c086d7f25383614915bddcd6bf96bd707a6293","schema_version":"1.0","event_id":"sha256:f6c9fb92c6e3cc66dbedf67cb4c086d7f25383614915bddcd6bf96bd707a6293"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH/bundle.json","state_url":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/52NCGMQ5QKFKCY24I4B52VGXJH/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-06T22:56:58Z","links":{"resolver":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH","bundle":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH/bundle.json","state":"https://pith.science/pith/52NCGMQ5QKFKCY24I4B52VGXJH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/52NCGMQ5QKFKCY24I4B52VGXJH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:52NCGMQ5QKFKCY24I4B52VGXJH","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":"55367af7a1b4669ab6b7b6a97ca09e82fe99a77cb15d99215c381213265b3ebd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-06T21:34:48Z","title_canon_sha256":"6cea5f9cf2a72c583bdc0c604401960b462160fe53f26a0510510175a32c3ab3"},"schema_version":"1.0","source":{"id":"1707.01972","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.01972","created_at":"2026-05-18T00:40:45Z"},{"alias_kind":"arxiv_version","alias_value":"1707.01972v1","created_at":"2026-05-18T00:40:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01972","created_at":"2026-05-18T00:40:45Z"},{"alias_kind":"pith_short_12","alias_value":"52NCGMQ5QKFK","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"52NCGMQ5QKFKCY24","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"52NCGMQ5","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:f6c9fb92c6e3cc66dbedf67cb4c086d7f25383614915bddcd6bf96bd707a6293","target":"graph","created_at":"2026-05-18T00:40:45Z","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":"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","authors_text":"Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-06T21:34:48Z","title":"Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.01972","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:471fee2c16a9aa25482625b2ca53b6d0c9ca8ca31d42e0be34d5f94c833e18a0","target":"record","created_at":"2026-05-18T00:40:45Z","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":"55367af7a1b4669ab6b7b6a97ca09e82fe99a77cb15d99215c381213265b3ebd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-06T21:34:48Z","title_canon_sha256":"6cea5f9cf2a72c583bdc0c604401960b462160fe53f26a0510510175a32c3ab3"},"schema_version":"1.0","source":{"id":"1707.01972","kind":"arxiv","version":1}},"canonical_sha256":"ee9a23321d828aa1635c4703dd54d749eb62fdeddc82ff26cde28efd54aea8bf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ee9a23321d828aa1635c4703dd54d749eb62fdeddc82ff26cde28efd54aea8bf","first_computed_at":"2026-05-18T00:40:45.682123Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:45.682123Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"usWWio6Xd8beK3Vg0moaKb3u4XyL7IzeQiLWsrnXXNNxcEiCx+/0l1/AO9FB5SQVDBc9WrdT4WinKlNGvU+KBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:45.682791Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.01972","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:471fee2c16a9aa25482625b2ca53b6d0c9ca8ca31d42e0be34d5f94c833e18a0","sha256:f6c9fb92c6e3cc66dbedf67cb4c086d7f25383614915bddcd6bf96bd707a6293"],"state_sha256":"456e3a865355fc4153e6a1312fdcfe7591f229aa2d2c09fbb429e94c4eaf70f1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8/oTp5iuyawIuWk1PSY6EGdIOzStp8+KVyL+xFmk2gnNUDHFNl4KkrSD65INnou5HiGDJWtY5azjRwQFbaxqCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T22:56:58.525980Z","bundle_sha256":"eb25689c8b4b3a665f5b5c5c117b067d476188561da3dbb45a7ca68eb297391d"}}