{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:6VLRP7GHXOY6IZBJUJSSSKRIAN","short_pith_number":"pith:6VLRP7GH","canonical_record":{"source":{"id":"2007.14169","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2020-07-28T12:44:03Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"f4461cdef1e7dd90337e6c55fa9d0f23fe97f66ac88195d7360951cb2b875f9e","abstract_canon_sha256":"1ba03f9cd2a18a574046e9332ec034a1a0d5d4e03852b6a13fa5443f71e6e4d2"},"schema_version":"1.0"},"canonical_sha256":"f55717fcc7bbb1e46429a265292a28034de3ce42227c6876d89cac7924780572","source":{"kind":"arxiv","id":"2007.14169","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2007.14169","created_at":"2026-07-05T01:22:55Z"},{"alias_kind":"arxiv_version","alias_value":"2007.14169v1","created_at":"2026-07-05T01:22:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.14169","created_at":"2026-07-05T01:22:55Z"},{"alias_kind":"pith_short_12","alias_value":"6VLRP7GHXOY6","created_at":"2026-07-05T01:22:55Z"},{"alias_kind":"pith_short_16","alias_value":"6VLRP7GHXOY6IZBJ","created_at":"2026-07-05T01:22:55Z"},{"alias_kind":"pith_short_8","alias_value":"6VLRP7GH","created_at":"2026-07-05T01:22:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:6VLRP7GHXOY6IZBJUJSSSKRIAN","target":"record","payload":{"canonical_record":{"source":{"id":"2007.14169","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2020-07-28T12:44:03Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"f4461cdef1e7dd90337e6c55fa9d0f23fe97f66ac88195d7360951cb2b875f9e","abstract_canon_sha256":"1ba03f9cd2a18a574046e9332ec034a1a0d5d4e03852b6a13fa5443f71e6e4d2"},"schema_version":"1.0"},"canonical_sha256":"f55717fcc7bbb1e46429a265292a28034de3ce42227c6876d89cac7924780572","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:22:55.970716Z","signature_b64":"bxD+2WDqjE84jegS3ngSzGBOXnZjLqJoSZ0tdE7NUbNkyXEfrhbdfd3Auj8fOWlkjMMg8jwzbx+mfTPk0nd8CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f55717fcc7bbb1e46429a265292a28034de3ce42227c6876d89cac7924780572","last_reissued_at":"2026-07-05T01:22:55.970343Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:22:55.970343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2007.14169","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-07-05T01:22:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ICJPxwG24vc8Z1Et5fqg7dk0EL8g9n/7zO3/P03AeKFMCl5bIXFFCMD+jvUkyOIVJtf5HuNGHkt0RcQdofhLBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T03:39:47.322153Z"},"content_sha256":"16537f99832237952f633221595dcc8da83cf42182b84a12b108d10464c55ac3","schema_version":"1.0","event_id":"sha256:16537f99832237952f633221595dcc8da83cf42182b84a12b108d10464c55ac3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:6VLRP7GHXOY6IZBJUJSSSKRIAN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.CC","authors_text":"Georg Gottlob, Hubie Chen, Matthias Lanzinger, Reinhard Pichler","submitted_at":"2020-07-28T12:44:03Z","abstract_excerpt":"Constraint satisfaction problems (CSPs) are an important formal framework for the uniform treatment of various prominent AI tasks, e.g., coloring or scheduling problems. Solving CSPs is, in general, known to be NP-complete and fixed-parameter intractable when parameterized by their constraint scopes. We give a characterization of those classes of CSPs for which the problem becomes fixed-parameter tractable.\n  Our characterization significantly increases the utility of the CSP framework by making it possible to decide the fixed-parameter tractability of problems via their CSP formulations.\n  We"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.14169","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2007.14169/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:22:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wO5VaS+hN0SNgtzE1mZ9ao43ONZmoPeAXuH6TUSuy7tRSH2hK+4Xryvl1YyhPlsboJV2Yumt5WoEHXck5AHBDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T03:39:47.322950Z"},"content_sha256":"e117188503267f930e84bf245598514cffb7fea7092aa8193f72f3dcf73cc0be","schema_version":"1.0","event_id":"sha256:e117188503267f930e84bf245598514cffb7fea7092aa8193f72f3dcf73cc0be"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6VLRP7GHXOY6IZBJUJSSSKRIAN/bundle.json","state_url":"https://pith.science/pith/6VLRP7GHXOY6IZBJUJSSSKRIAN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6VLRP7GHXOY6IZBJUJSSSKRIAN/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-08-09T03:39:47Z","links":{"resolver":"https://pith.science/pith/6VLRP7GHXOY6IZBJUJSSSKRIAN","bundle":"https://pith.science/pith/6VLRP7GHXOY6IZBJUJSSSKRIAN/bundle.json","state":"https://pith.science/pith/6VLRP7GHXOY6IZBJUJSSSKRIAN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6VLRP7GHXOY6IZBJUJSSSKRIAN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:6VLRP7GHXOY6IZBJUJSSSKRIAN","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":"1ba03f9cd2a18a574046e9332ec034a1a0d5d4e03852b6a13fa5443f71e6e4d2","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2020-07-28T12:44:03Z","title_canon_sha256":"f4461cdef1e7dd90337e6c55fa9d0f23fe97f66ac88195d7360951cb2b875f9e"},"schema_version":"1.0","source":{"id":"2007.14169","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2007.14169","created_at":"2026-07-05T01:22:55Z"},{"alias_kind":"arxiv_version","alias_value":"2007.14169v1","created_at":"2026-07-05T01:22:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.14169","created_at":"2026-07-05T01:22:55Z"},{"alias_kind":"pith_short_12","alias_value":"6VLRP7GHXOY6","created_at":"2026-07-05T01:22:55Z"},{"alias_kind":"pith_short_16","alias_value":"6VLRP7GHXOY6IZBJ","created_at":"2026-07-05T01:22:55Z"},{"alias_kind":"pith_short_8","alias_value":"6VLRP7GH","created_at":"2026-07-05T01:22:55Z"}],"graph_snapshots":[{"event_id":"sha256:e117188503267f930e84bf245598514cffb7fea7092aa8193f72f3dcf73cc0be","target":"graph","created_at":"2026-07-05T01:22:55Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2007.14169/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Constraint satisfaction problems (CSPs) are an important formal framework for the uniform treatment of various prominent AI tasks, e.g., coloring or scheduling problems. Solving CSPs is, in general, known to be NP-complete and fixed-parameter intractable when parameterized by their constraint scopes. We give a characterization of those classes of CSPs for which the problem becomes fixed-parameter tractable.\n  Our characterization significantly increases the utility of the CSP framework by making it possible to decide the fixed-parameter tractability of problems via their CSP formulations.\n  We","authors_text":"Georg Gottlob, Hubie Chen, Matthias Lanzinger, Reinhard Pichler","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2020-07-28T12:44:03Z","title":"Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.14169","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:16537f99832237952f633221595dcc8da83cf42182b84a12b108d10464c55ac3","target":"record","created_at":"2026-07-05T01:22:55Z","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":"1ba03f9cd2a18a574046e9332ec034a1a0d5d4e03852b6a13fa5443f71e6e4d2","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2020-07-28T12:44:03Z","title_canon_sha256":"f4461cdef1e7dd90337e6c55fa9d0f23fe97f66ac88195d7360951cb2b875f9e"},"schema_version":"1.0","source":{"id":"2007.14169","kind":"arxiv","version":1}},"canonical_sha256":"f55717fcc7bbb1e46429a265292a28034de3ce42227c6876d89cac7924780572","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f55717fcc7bbb1e46429a265292a28034de3ce42227c6876d89cac7924780572","first_computed_at":"2026-07-05T01:22:55.970343Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:22:55.970343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bxD+2WDqjE84jegS3ngSzGBOXnZjLqJoSZ0tdE7NUbNkyXEfrhbdfd3Auj8fOWlkjMMg8jwzbx+mfTPk0nd8CA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:22:55.970716Z","signed_message":"canonical_sha256_bytes"},"source_id":"2007.14169","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:16537f99832237952f633221595dcc8da83cf42182b84a12b108d10464c55ac3","sha256:e117188503267f930e84bf245598514cffb7fea7092aa8193f72f3dcf73cc0be"],"state_sha256":"084f868089167e0a9dfdf7dbd48a316133b3c92896c3deb6af028435b7d675dd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dk59Zh9qQo/3AXvklbZHBMJ1KhMc/DHJEsh1bKIZ+qETTeHrmxEC7M1etgQUA+uDYrZT1sS7wRyWs2AHODIWBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T03:39:47.326967Z","bundle_sha256":"f6e6296e5e92714c2d34b71da9d124eeb907c585a4c23dbc19bfd4fdb3ec1866"}}