{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:XUO5GMBXSSLRKBVNSMDJWFRBDO","short_pith_number":"pith:XUO5GMBX","canonical_record":{"source":{"id":"1008.4071","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-08-24T15:42:21Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"c6a99af37687d8f49613b9e37598252e00bf1e41ca3ca91f590208f1ca743a36","abstract_canon_sha256":"71d97c30e45a4c7ffbb7defcc88ac5b3f7737892411eeec5f3e9eafd4ca05c66"},"schema_version":"1.0"},"canonical_sha256":"bd1dd3303794971506ad93069b16211b955883cf7fb9000c9fc0eb68567273a2","source":{"kind":"arxiv","id":"1008.4071","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1008.4071","created_at":"2026-05-18T04:23:35Z"},{"alias_kind":"arxiv_version","alias_value":"1008.4071v1","created_at":"2026-05-18T04:23:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1008.4071","created_at":"2026-05-18T04:23:35Z"},{"alias_kind":"pith_short_12","alias_value":"XUO5GMBXSSLR","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_16","alias_value":"XUO5GMBXSSLRKBVN","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_8","alias_value":"XUO5GMBX","created_at":"2026-05-18T12:26:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:XUO5GMBXSSLRKBVNSMDJWFRBDO","target":"record","payload":{"canonical_record":{"source":{"id":"1008.4071","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-08-24T15:42:21Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"c6a99af37687d8f49613b9e37598252e00bf1e41ca3ca91f590208f1ca743a36","abstract_canon_sha256":"71d97c30e45a4c7ffbb7defcc88ac5b3f7737892411eeec5f3e9eafd4ca05c66"},"schema_version":"1.0"},"canonical_sha256":"bd1dd3303794971506ad93069b16211b955883cf7fb9000c9fc0eb68567273a2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:23:35.114660Z","signature_b64":"2TeYVwQjUY85mfYGsKqykDfjnOpzNLe/JGpqhQ96lwGb7v21Sgr/M3yDcAPn1+WARZzY2OAYuFp7ezK6Xq9bAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bd1dd3303794971506ad93069b16211b955883cf7fb9000c9fc0eb68567273a2","last_reissued_at":"2026-05-18T04:23:35.113925Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:23:35.113925Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1008.4071","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-18T04:23:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"82SIOuj/BOsBkhd3BquAZ3PwPl4atj7+b40MHENEYu/m5nc+KITt5eI1R9MqOHpVyicBp6Y7JCvqC2dfkszVBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T10:34:47.881619Z"},"content_sha256":"b38ce99bfd58dfd5ace6b6cf4948be5d97136549d37b576d59ebbb93c24bbc7b","schema_version":"1.0","event_id":"sha256:b38ce99bfd58dfd5ace6b6cf4948be5d97136549d37b576d59ebbb93c24bbc7b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:XUO5GMBXSSLRKBVNSMDJWFRBDO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hybrid tractability of soft constraint problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.AI","authors_text":"Martin C. Cooper, Stanislav Zivny","submitted_at":"2010-08-24T15:42:21Z","abstract_excerpt":"The constraint satisfaction problem (CSP) is a central generic problem in computer science and artificial intelligence: it provides a common framework for many theoretical problems as well as for many real-life applications. Soft constraint problems are a generalisation of the CSP which allow the user to model optimisation problems. Considerable effort has been made in identifying properties which ensure tractability in such problems. In this work, we initiate the study of hybrid tractability of soft constraint problems; that is, properties which guarantee tractability of the given soft constr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1008.4071","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-18T04:23:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ajKjOlYFLMVepVDkzxEjJ96HK3tvLY43vwoEVk6p8CQlvFzJjiYSd03DOy1XnZNqggAGF5fJGAYFr5lqsKIiBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T10:34:47.881966Z"},"content_sha256":"fed4d6bdf82931709a7e0dde11674105b05099962ef4c01fab1f67b8535e3ba2","schema_version":"1.0","event_id":"sha256:fed4d6bdf82931709a7e0dde11674105b05099962ef4c01fab1f67b8535e3ba2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XUO5GMBXSSLRKBVNSMDJWFRBDO/bundle.json","state_url":"https://pith.science/pith/XUO5GMBXSSLRKBVNSMDJWFRBDO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XUO5GMBXSSLRKBVNSMDJWFRBDO/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-03T10:34:47Z","links":{"resolver":"https://pith.science/pith/XUO5GMBXSSLRKBVNSMDJWFRBDO","bundle":"https://pith.science/pith/XUO5GMBXSSLRKBVNSMDJWFRBDO/bundle.json","state":"https://pith.science/pith/XUO5GMBXSSLRKBVNSMDJWFRBDO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XUO5GMBXSSLRKBVNSMDJWFRBDO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:XUO5GMBXSSLRKBVNSMDJWFRBDO","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":"71d97c30e45a4c7ffbb7defcc88ac5b3f7737892411eeec5f3e9eafd4ca05c66","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-08-24T15:42:21Z","title_canon_sha256":"c6a99af37687d8f49613b9e37598252e00bf1e41ca3ca91f590208f1ca743a36"},"schema_version":"1.0","source":{"id":"1008.4071","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1008.4071","created_at":"2026-05-18T04:23:35Z"},{"alias_kind":"arxiv_version","alias_value":"1008.4071v1","created_at":"2026-05-18T04:23:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1008.4071","created_at":"2026-05-18T04:23:35Z"},{"alias_kind":"pith_short_12","alias_value":"XUO5GMBXSSLR","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_16","alias_value":"XUO5GMBXSSLRKBVN","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_8","alias_value":"XUO5GMBX","created_at":"2026-05-18T12:26:17Z"}],"graph_snapshots":[{"event_id":"sha256:fed4d6bdf82931709a7e0dde11674105b05099962ef4c01fab1f67b8535e3ba2","target":"graph","created_at":"2026-05-18T04:23:35Z","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":"The constraint satisfaction problem (CSP) is a central generic problem in computer science and artificial intelligence: it provides a common framework for many theoretical problems as well as for many real-life applications. Soft constraint problems are a generalisation of the CSP which allow the user to model optimisation problems. Considerable effort has been made in identifying properties which ensure tractability in such problems. In this work, we initiate the study of hybrid tractability of soft constraint problems; that is, properties which guarantee tractability of the given soft constr","authors_text":"Martin C. Cooper, Stanislav Zivny","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-08-24T15:42:21Z","title":"Hybrid tractability of soft constraint problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1008.4071","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:b38ce99bfd58dfd5ace6b6cf4948be5d97136549d37b576d59ebbb93c24bbc7b","target":"record","created_at":"2026-05-18T04:23:35Z","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":"71d97c30e45a4c7ffbb7defcc88ac5b3f7737892411eeec5f3e9eafd4ca05c66","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-08-24T15:42:21Z","title_canon_sha256":"c6a99af37687d8f49613b9e37598252e00bf1e41ca3ca91f590208f1ca743a36"},"schema_version":"1.0","source":{"id":"1008.4071","kind":"arxiv","version":1}},"canonical_sha256":"bd1dd3303794971506ad93069b16211b955883cf7fb9000c9fc0eb68567273a2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bd1dd3303794971506ad93069b16211b955883cf7fb9000c9fc0eb68567273a2","first_computed_at":"2026-05-18T04:23:35.113925Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:23:35.113925Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2TeYVwQjUY85mfYGsKqykDfjnOpzNLe/JGpqhQ96lwGb7v21Sgr/M3yDcAPn1+WARZzY2OAYuFp7ezK6Xq9bAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:23:35.114660Z","signed_message":"canonical_sha256_bytes"},"source_id":"1008.4071","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b38ce99bfd58dfd5ace6b6cf4948be5d97136549d37b576d59ebbb93c24bbc7b","sha256:fed4d6bdf82931709a7e0dde11674105b05099962ef4c01fab1f67b8535e3ba2"],"state_sha256":"c072d6d678774797adc5435f7462220c8eb097acdba9cbf897ef8b16fad93ef0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2WCfUQrIP32qYSpzxk2KWrx6Csg0evkIm3UeqE6TbM54qqjWvZjSuSRkbEneNWWtKGqHv7SIIG5dV0ZLPyMjAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T10:34:47.884056Z","bundle_sha256":"b26330126367b6840866dedda552a4f3f328f960bf2f8ed2c7f99815f311460a"}}