{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:62OASJNI3DF7JBXLNQG3XB57BM","short_pith_number":"pith:62OASJNI","canonical_record":{"source":{"id":"1509.05725","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-09-18T17:39:33Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"d243c99b703c83f10c04bcc156419fde83fef2f66f4d20f320eb7a6b04fe6199","abstract_canon_sha256":"9343344ce86ca5010cdd7bed8254e1e7d001e6cb96a46b81e7a6ff525923d5ac"},"schema_version":"1.0"},"canonical_sha256":"f69c0925a8d8cbf486eb6c0dbb87bf0b2c2baeb660f794b46bbdfcf57d2fb51e","source":{"kind":"arxiv","id":"1509.05725","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05725","created_at":"2026-05-18T00:53:45Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05725v2","created_at":"2026-05-18T00:53:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05725","created_at":"2026-05-18T00:53:45Z"},{"alias_kind":"pith_short_12","alias_value":"62OASJNI3DF7","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"62OASJNI3DF7JBXL","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"62OASJNI","created_at":"2026-05-18T12:29:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:62OASJNI3DF7JBXLNQG3XB57BM","target":"record","payload":{"canonical_record":{"source":{"id":"1509.05725","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-09-18T17:39:33Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"d243c99b703c83f10c04bcc156419fde83fef2f66f4d20f320eb7a6b04fe6199","abstract_canon_sha256":"9343344ce86ca5010cdd7bed8254e1e7d001e6cb96a46b81e7a6ff525923d5ac"},"schema_version":"1.0"},"canonical_sha256":"f69c0925a8d8cbf486eb6c0dbb87bf0b2c2baeb660f794b46bbdfcf57d2fb51e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:45.554166Z","signature_b64":"d+Hgphfjvs8qRlbkKuFxeraBk8fZDMzxmfgcwnm4HFRdVeM4yUb7ue43hBCraBbybsEYnhB+S/PZzHd6uqL9AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f69c0925a8d8cbf486eb6c0dbb87bf0b2c2baeb660f794b46bbdfcf57d2fb51e","last_reissued_at":"2026-05-18T00:53:45.553721Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:45.553721Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.05725","source_version":2,"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:53:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KeudSfxIN4+MptnzDI308Cs9+CuaFlQ3vdSarP4n4CyEl6tEHMpBoXp1/ac1r0qA/xUBnDS+TQCcTnj365r3Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:11:06.391150Z"},"content_sha256":"fa97512b33928625504c71108d217906a140541cfe074af34a20f3797596c90e","schema_version":"1.0","event_id":"sha256:fa97512b33928625504c71108d217906a140541cfe074af34a20f3797596c90e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:62OASJNI3DF7JBXLNQG3XB57BM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Backdoors into Heterogeneous Classes of SAT and CSP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.AI","authors_text":"Neeldhara Misra, Sebastian Ordyniak, Serge Gaspers, Stanislav \\v{Z}ivn\\'y, Stefan Szeider","submitted_at":"2015-09-18T17:39:33Z","abstract_excerpt":"In this paper we extend the classical notion of strong and weak backdoor sets for SAT and CSP by allowing that different instantiations of the backdoor variables result in instances that belong to different base classes; the union of the base classes forms a heterogeneous base class. Backdoor sets to heterogeneous base classes can be much smaller than backdoor sets to homogeneous ones, hence they are much more desirable but possibly harder to find. We draw a detailed complexity landscape for the problem of detecting strong and weak backdoor sets into heterogeneous base classes for SAT and CSP."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05725","kind":"arxiv","version":2},"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:53:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SQO5QHxfe2wFXZS+CQLexq+JSWlE/PJ5039ldgdTbLxTAZUwA3M0jzVylSr4bdZtilo1A5VlUa4DeGLcAJXvBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:11:06.391551Z"},"content_sha256":"1bf1be3a9ee89879a2398dbd19894460821857611d05503a051c79431076e1bf","schema_version":"1.0","event_id":"sha256:1bf1be3a9ee89879a2398dbd19894460821857611d05503a051c79431076e1bf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/62OASJNI3DF7JBXLNQG3XB57BM/bundle.json","state_url":"https://pith.science/pith/62OASJNI3DF7JBXLNQG3XB57BM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/62OASJNI3DF7JBXLNQG3XB57BM/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-28T20:11:06Z","links":{"resolver":"https://pith.science/pith/62OASJNI3DF7JBXLNQG3XB57BM","bundle":"https://pith.science/pith/62OASJNI3DF7JBXLNQG3XB57BM/bundle.json","state":"https://pith.science/pith/62OASJNI3DF7JBXLNQG3XB57BM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/62OASJNI3DF7JBXLNQG3XB57BM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:62OASJNI3DF7JBXLNQG3XB57BM","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":"9343344ce86ca5010cdd7bed8254e1e7d001e6cb96a46b81e7a6ff525923d5ac","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-09-18T17:39:33Z","title_canon_sha256":"d243c99b703c83f10c04bcc156419fde83fef2f66f4d20f320eb7a6b04fe6199"},"schema_version":"1.0","source":{"id":"1509.05725","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05725","created_at":"2026-05-18T00:53:45Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05725v2","created_at":"2026-05-18T00:53:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05725","created_at":"2026-05-18T00:53:45Z"},{"alias_kind":"pith_short_12","alias_value":"62OASJNI3DF7","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"62OASJNI3DF7JBXL","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"62OASJNI","created_at":"2026-05-18T12:29:07Z"}],"graph_snapshots":[{"event_id":"sha256:1bf1be3a9ee89879a2398dbd19894460821857611d05503a051c79431076e1bf","target":"graph","created_at":"2026-05-18T00:53: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":"In this paper we extend the classical notion of strong and weak backdoor sets for SAT and CSP by allowing that different instantiations of the backdoor variables result in instances that belong to different base classes; the union of the base classes forms a heterogeneous base class. Backdoor sets to heterogeneous base classes can be much smaller than backdoor sets to homogeneous ones, hence they are much more desirable but possibly harder to find. We draw a detailed complexity landscape for the problem of detecting strong and weak backdoor sets into heterogeneous base classes for SAT and CSP.","authors_text":"Neeldhara Misra, Sebastian Ordyniak, Serge Gaspers, Stanislav \\v{Z}ivn\\'y, Stefan Szeider","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-09-18T17:39:33Z","title":"Backdoors into Heterogeneous Classes of SAT and CSP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05725","kind":"arxiv","version":2},"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:fa97512b33928625504c71108d217906a140541cfe074af34a20f3797596c90e","target":"record","created_at":"2026-05-18T00:53: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":"9343344ce86ca5010cdd7bed8254e1e7d001e6cb96a46b81e7a6ff525923d5ac","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-09-18T17:39:33Z","title_canon_sha256":"d243c99b703c83f10c04bcc156419fde83fef2f66f4d20f320eb7a6b04fe6199"},"schema_version":"1.0","source":{"id":"1509.05725","kind":"arxiv","version":2}},"canonical_sha256":"f69c0925a8d8cbf486eb6c0dbb87bf0b2c2baeb660f794b46bbdfcf57d2fb51e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f69c0925a8d8cbf486eb6c0dbb87bf0b2c2baeb660f794b46bbdfcf57d2fb51e","first_computed_at":"2026-05-18T00:53:45.553721Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:45.553721Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"d+Hgphfjvs8qRlbkKuFxeraBk8fZDMzxmfgcwnm4HFRdVeM4yUb7ue43hBCraBbybsEYnhB+S/PZzHd6uqL9AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:45.554166Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.05725","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fa97512b33928625504c71108d217906a140541cfe074af34a20f3797596c90e","sha256:1bf1be3a9ee89879a2398dbd19894460821857611d05503a051c79431076e1bf"],"state_sha256":"3b6dacd3216ba4cede60a50d706fbe281ac2ceb70aa53bc7a3351b6986ca4c91"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UZWfbFlKPbPQb4h2LfOIJff9GJxVgxYeyYmg+aQA9Iduu7BGKXvs/lNUu0xIYHtxH5D5SNaoekNOGvoIuJvRDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T20:11:06.394384Z","bundle_sha256":"1caa915b15fa2c60db88557c443abf49a7b3ae358d3eb1ee05aecef68f4237c0"}}