{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:U3TBOQ2PRY7D4G6GL73JFUBGQS","short_pith_number":"pith:U3TBOQ2P","canonical_record":{"source":{"id":"1205.3663","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-15T20:19:57Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"80c32031ea91c8a5bd94f769b79ac84a4b7aeab19c245153c7ac9ddc19966782","abstract_canon_sha256":"219d6b2963dc1f7dbdf8f6a5b23cca582b2942995b79128b3068ff53d69d664e"},"schema_version":"1.0"},"canonical_sha256":"a6e617434f8e3e3e1bc65ff692d02684bcf192c46daa48440ffbe3fea50d75e3","source":{"kind":"arxiv","id":"1205.3663","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.3663","created_at":"2026-05-18T03:55:34Z"},{"alias_kind":"arxiv_version","alias_value":"1205.3663v1","created_at":"2026-05-18T03:55:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.3663","created_at":"2026-05-18T03:55:34Z"},{"alias_kind":"pith_short_12","alias_value":"U3TBOQ2PRY7D","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"U3TBOQ2PRY7D4G6G","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"U3TBOQ2P","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:U3TBOQ2PRY7D4G6GL73JFUBGQS","target":"record","payload":{"canonical_record":{"source":{"id":"1205.3663","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-15T20:19:57Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"80c32031ea91c8a5bd94f769b79ac84a4b7aeab19c245153c7ac9ddc19966782","abstract_canon_sha256":"219d6b2963dc1f7dbdf8f6a5b23cca582b2942995b79128b3068ff53d69d664e"},"schema_version":"1.0"},"canonical_sha256":"a6e617434f8e3e3e1bc65ff692d02684bcf192c46daa48440ffbe3fea50d75e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:55:34.486169Z","signature_b64":"oZKSHlldtU8Ho0hnrEqWOmwJ35wSHPYOVBIeWAjizbGUnpyqgxDHHOHbpbc3UyggpWuVqziS87RROuR3xyEwAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6e617434f8e3e3e1bc65ff692d02684bcf192c46daa48440ffbe3fea50d75e3","last_reissued_at":"2026-05-18T03:55:34.485386Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:55:34.485386Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1205.3663","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:55:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4iQRHWYuQ5JjlBFfiCfZbeRCU9xhhMjGUssmmilQAo2WVjM6H2XS4tBVgHK4qJUAQSX/tFNtYpSwvBydaKuSCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:23:34.881271Z"},"content_sha256":"262da5c688e562230c43d6c2d00319a1b6482f4e87a2af087bbd5e848a2eb416","schema_version":"1.0","event_id":"sha256:262da5c688e562230c43d6c2d00319a1b6482f4e87a2af087bbd5e848a2eb416"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:U3TBOQ2PRY7D4G6GL73JFUBGQS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Good, the Bad, and the Odd: Cycles in Answer-Set Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Johannes Klaus Fichte","submitted_at":"2012-02-15T20:19:57Z","abstract_excerpt":"Backdoors of answer-set programs are sets of atoms that represent clever reasoning shortcuts through the search space. Assignments to backdoor atoms reduce the given program to several programs that belong to a tractable target class. Previous research has considered target classes based on notions of acyclicity where various types of cycles (good and bad cycles) are excluded from graph representations of programs. We generalize the target classes by taking the parity of the number of negative edges on bad cycles into account and consider backdoors for such classes. We establish new hardness r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.3663","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:55:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iHoKS3DtoZTIdlWSsu/3PceSLcjSqOlTvkK0ocT+fmktYX04/hx4aZfduehaT75FR3Y3wpe4WH3cFDoup3i8BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:23:34.881916Z"},"content_sha256":"1edc640fd205089d047e5dcc99977ff2c35adaff6ad3d60b3ad1974153e5fe23","schema_version":"1.0","event_id":"sha256:1edc640fd205089d047e5dcc99977ff2c35adaff6ad3d60b3ad1974153e5fe23"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U3TBOQ2PRY7D4G6GL73JFUBGQS/bundle.json","state_url":"https://pith.science/pith/U3TBOQ2PRY7D4G6GL73JFUBGQS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U3TBOQ2PRY7D4G6GL73JFUBGQS/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-31T23:23:34Z","links":{"resolver":"https://pith.science/pith/U3TBOQ2PRY7D4G6GL73JFUBGQS","bundle":"https://pith.science/pith/U3TBOQ2PRY7D4G6GL73JFUBGQS/bundle.json","state":"https://pith.science/pith/U3TBOQ2PRY7D4G6GL73JFUBGQS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U3TBOQ2PRY7D4G6GL73JFUBGQS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:U3TBOQ2PRY7D4G6GL73JFUBGQS","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":"219d6b2963dc1f7dbdf8f6a5b23cca582b2942995b79128b3068ff53d69d664e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-15T20:19:57Z","title_canon_sha256":"80c32031ea91c8a5bd94f769b79ac84a4b7aeab19c245153c7ac9ddc19966782"},"schema_version":"1.0","source":{"id":"1205.3663","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.3663","created_at":"2026-05-18T03:55:34Z"},{"alias_kind":"arxiv_version","alias_value":"1205.3663v1","created_at":"2026-05-18T03:55:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.3663","created_at":"2026-05-18T03:55:34Z"},{"alias_kind":"pith_short_12","alias_value":"U3TBOQ2PRY7D","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"U3TBOQ2PRY7D4G6G","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"U3TBOQ2P","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:1edc640fd205089d047e5dcc99977ff2c35adaff6ad3d60b3ad1974153e5fe23","target":"graph","created_at":"2026-05-18T03:55:34Z","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":"Backdoors of answer-set programs are sets of atoms that represent clever reasoning shortcuts through the search space. Assignments to backdoor atoms reduce the given program to several programs that belong to a tractable target class. Previous research has considered target classes based on notions of acyclicity where various types of cycles (good and bad cycles) are excluded from graph representations of programs. We generalize the target classes by taking the parity of the number of negative edges on bad cycles into account and consider backdoors for such classes. We establish new hardness r","authors_text":"Johannes Klaus Fichte","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-15T20:19:57Z","title":"The Good, the Bad, and the Odd: Cycles in Answer-Set Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.3663","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:262da5c688e562230c43d6c2d00319a1b6482f4e87a2af087bbd5e848a2eb416","target":"record","created_at":"2026-05-18T03:55:34Z","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":"219d6b2963dc1f7dbdf8f6a5b23cca582b2942995b79128b3068ff53d69d664e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-15T20:19:57Z","title_canon_sha256":"80c32031ea91c8a5bd94f769b79ac84a4b7aeab19c245153c7ac9ddc19966782"},"schema_version":"1.0","source":{"id":"1205.3663","kind":"arxiv","version":1}},"canonical_sha256":"a6e617434f8e3e3e1bc65ff692d02684bcf192c46daa48440ffbe3fea50d75e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6e617434f8e3e3e1bc65ff692d02684bcf192c46daa48440ffbe3fea50d75e3","first_computed_at":"2026-05-18T03:55:34.485386Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:55:34.485386Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oZKSHlldtU8Ho0hnrEqWOmwJ35wSHPYOVBIeWAjizbGUnpyqgxDHHOHbpbc3UyggpWuVqziS87RROuR3xyEwAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:55:34.486169Z","signed_message":"canonical_sha256_bytes"},"source_id":"1205.3663","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:262da5c688e562230c43d6c2d00319a1b6482f4e87a2af087bbd5e848a2eb416","sha256:1edc640fd205089d047e5dcc99977ff2c35adaff6ad3d60b3ad1974153e5fe23"],"state_sha256":"cf5f20178ee3b9ee8c4b4515c40a49a48e0f00a781d357676c69c01a526f7dc3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OlfrhKnaHXdMpAptizEk8XXrEMgVKvnOr0xyBY81X7LKNjgQxTk95ztuPFgtDchCJ8+JQPOIwExfyhk/H7P8Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T23:23:34.885771Z","bundle_sha256":"aa16fec5d18ead00c485bb3b1f1d7d3e97dc7b6d1bdf37d51bacdc82b5235ae1"}}