{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:WYK4WWSAT24GM6IFWBRTSDNCPR","short_pith_number":"pith:WYK4WWSA","canonical_record":{"source":{"id":"1104.1045","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-04-06T09:35:13Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"62ef20db7f43fe7897f0b5d4c2e3b2250c8f3c649ab45fb1c27cc9ae4a818bc3","abstract_canon_sha256":"d6c85799f2ab4c788d9507f27d7bb916221284191b0ae8b03d7a636a53877cb0"},"schema_version":"1.0"},"canonical_sha256":"b615cb5a409eb8667905b063390da27c758730404fbd96d615fc0a2e7b345a69","source":{"kind":"arxiv","id":"1104.1045","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.1045","created_at":"2026-05-18T03:50:48Z"},{"alias_kind":"arxiv_version","alias_value":"1104.1045v2","created_at":"2026-05-18T03:50:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.1045","created_at":"2026-05-18T03:50:48Z"},{"alias_kind":"pith_short_12","alias_value":"WYK4WWSAT24G","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"WYK4WWSAT24GM6IF","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"WYK4WWSA","created_at":"2026-05-18T12:26:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:WYK4WWSAT24GM6IFWBRTSDNCPR","target":"record","payload":{"canonical_record":{"source":{"id":"1104.1045","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-04-06T09:35:13Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"62ef20db7f43fe7897f0b5d4c2e3b2250c8f3c649ab45fb1c27cc9ae4a818bc3","abstract_canon_sha256":"d6c85799f2ab4c788d9507f27d7bb916221284191b0ae8b03d7a636a53877cb0"},"schema_version":"1.0"},"canonical_sha256":"b615cb5a409eb8667905b063390da27c758730404fbd96d615fc0a2e7b345a69","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:50:48.796941Z","signature_b64":"RgZ8YmRw7TLd2FKad9ymLJeH2AOQqSfUR8aFpjB9gqIEbu9Yzl53GXc2Oba+Cwnup/7EHfETKx4118CfXRFvDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b615cb5a409eb8667905b063390da27c758730404fbd96d615fc0a2e7b345a69","last_reissued_at":"2026-05-18T03:50:48.796210Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:50:48.796210Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1104.1045","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-18T03:50:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/eXlYN81mGW3SCUEEfSM0iGVYtW6iMpCckDJjvosoBJYmXA5z0AIdfy7dLaa/D6RGAAgptkSxgowFaE0ZexNDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T01:33:35.051813Z"},"content_sha256":"d48018e3d6f007c657f2d4227690c1bb57e6557ea08edfcb9809d45f3be25a1f","schema_version":"1.0","event_id":"sha256:d48018e3d6f007c657f2d4227690c1bb57e6557ea08edfcb9809d45f3be25a1f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:WYK4WWSAT24GM6IFWBRTSDNCPR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tractable Set Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.LO"],"primary_cat":"cs.AI","authors_text":"Alex Krimkevich, Manuel Bodirsky, Martin Hils","submitted_at":"2011-04-06T09:35:13Z","abstract_excerpt":"Many fundamental problems in artificial intelligence, knowledge representation, and verification involve reasoning about sets and relations between sets and can be modeled as set constraint satisfaction problems (set CSPs). Such problems are frequently intractable, but there are several important set CSPs that are known to be polynomial-time tractable. We introduce a large class of set CSPs that can be solved in quadratic time. Our class, which we call EI, contains all previously known tractable set CSPs, but also some new ones that are of crucial importance for example in description logics. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.1045","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-18T03:50:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wUN2zESPGkdbpzM5sk/RRWOLmqjDzxYm9xQiycUxFIYveQgoSPekPGYahoDq4BCik7tCkR9gff+XDRx03d5sAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T01:33:35.052474Z"},"content_sha256":"db6d88140b035b245b68d68c4a4dca25d36222cf8998a9f13d4ef2bce3183285","schema_version":"1.0","event_id":"sha256:db6d88140b035b245b68d68c4a4dca25d36222cf8998a9f13d4ef2bce3183285"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WYK4WWSAT24GM6IFWBRTSDNCPR/bundle.json","state_url":"https://pith.science/pith/WYK4WWSAT24GM6IFWBRTSDNCPR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WYK4WWSAT24GM6IFWBRTSDNCPR/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-27T01:33:35Z","links":{"resolver":"https://pith.science/pith/WYK4WWSAT24GM6IFWBRTSDNCPR","bundle":"https://pith.science/pith/WYK4WWSAT24GM6IFWBRTSDNCPR/bundle.json","state":"https://pith.science/pith/WYK4WWSAT24GM6IFWBRTSDNCPR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WYK4WWSAT24GM6IFWBRTSDNCPR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:WYK4WWSAT24GM6IFWBRTSDNCPR","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":"d6c85799f2ab4c788d9507f27d7bb916221284191b0ae8b03d7a636a53877cb0","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-04-06T09:35:13Z","title_canon_sha256":"62ef20db7f43fe7897f0b5d4c2e3b2250c8f3c649ab45fb1c27cc9ae4a818bc3"},"schema_version":"1.0","source":{"id":"1104.1045","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.1045","created_at":"2026-05-18T03:50:48Z"},{"alias_kind":"arxiv_version","alias_value":"1104.1045v2","created_at":"2026-05-18T03:50:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.1045","created_at":"2026-05-18T03:50:48Z"},{"alias_kind":"pith_short_12","alias_value":"WYK4WWSAT24G","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"WYK4WWSAT24GM6IF","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"WYK4WWSA","created_at":"2026-05-18T12:26:44Z"}],"graph_snapshots":[{"event_id":"sha256:db6d88140b035b245b68d68c4a4dca25d36222cf8998a9f13d4ef2bce3183285","target":"graph","created_at":"2026-05-18T03:50:48Z","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":"Many fundamental problems in artificial intelligence, knowledge representation, and verification involve reasoning about sets and relations between sets and can be modeled as set constraint satisfaction problems (set CSPs). Such problems are frequently intractable, but there are several important set CSPs that are known to be polynomial-time tractable. We introduce a large class of set CSPs that can be solved in quadratic time. Our class, which we call EI, contains all previously known tractable set CSPs, but also some new ones that are of crucial importance for example in description logics. ","authors_text":"Alex Krimkevich, Manuel Bodirsky, Martin Hils","cross_cats":["cs.CC","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-04-06T09:35:13Z","title":"Tractable Set Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.1045","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:d48018e3d6f007c657f2d4227690c1bb57e6557ea08edfcb9809d45f3be25a1f","target":"record","created_at":"2026-05-18T03:50:48Z","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":"d6c85799f2ab4c788d9507f27d7bb916221284191b0ae8b03d7a636a53877cb0","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-04-06T09:35:13Z","title_canon_sha256":"62ef20db7f43fe7897f0b5d4c2e3b2250c8f3c649ab45fb1c27cc9ae4a818bc3"},"schema_version":"1.0","source":{"id":"1104.1045","kind":"arxiv","version":2}},"canonical_sha256":"b615cb5a409eb8667905b063390da27c758730404fbd96d615fc0a2e7b345a69","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b615cb5a409eb8667905b063390da27c758730404fbd96d615fc0a2e7b345a69","first_computed_at":"2026-05-18T03:50:48.796210Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:50:48.796210Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RgZ8YmRw7TLd2FKad9ymLJeH2AOQqSfUR8aFpjB9gqIEbu9Yzl53GXc2Oba+Cwnup/7EHfETKx4118CfXRFvDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:50:48.796941Z","signed_message":"canonical_sha256_bytes"},"source_id":"1104.1045","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d48018e3d6f007c657f2d4227690c1bb57e6557ea08edfcb9809d45f3be25a1f","sha256:db6d88140b035b245b68d68c4a4dca25d36222cf8998a9f13d4ef2bce3183285"],"state_sha256":"2d3999ca9fd9dbae18478fb3e9c065338a68998b9fe78483335180ac6b9839ac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AITjlAsEa1YDO/f3D+8blsBGtmMMl6CLDWxSwMSEqDwMHUktah2OYkgYJqyyv8rcQVl6n0QPCjEGmcJ3p/lVBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T01:33:35.055902Z","bundle_sha256":"3c552164550fd50dd23e4a490341fbd8e8eb3b62360e10936c6f6c3ae971aa4d"}}