{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:YKZ3XV3J3J2OZNMZNHS2YKSP3M","short_pith_number":"pith:YKZ3XV3J","canonical_record":{"source":{"id":"1103.3693","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2011-03-18T19:47:40Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"04316f2898a141af76c0f0ec78ac628a7737947b546e2e4fb75fb830b5a6924c","abstract_canon_sha256":"f4e1b03ff2c0b58fe66ed5e1bd351e9f32998de0a60ca0dd67163461cfa7b4cd"},"schema_version":"1.0"},"canonical_sha256":"c2b3bbd769da74ecb59969e5ac2a4fdb1e77a93955742e458d97390ea0fc179b","source":{"kind":"arxiv","id":"1103.3693","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.3693","created_at":"2026-05-18T04:02:25Z"},{"alias_kind":"arxiv_version","alias_value":"1103.3693v1","created_at":"2026-05-18T04:02:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.3693","created_at":"2026-05-18T04:02:25Z"},{"alias_kind":"pith_short_12","alias_value":"YKZ3XV3J3J2O","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"YKZ3XV3J3J2OZNMZ","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"YKZ3XV3J","created_at":"2026-05-18T12:26:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:YKZ3XV3J3J2OZNMZNHS2YKSP3M","target":"record","payload":{"canonical_record":{"source":{"id":"1103.3693","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2011-03-18T19:47:40Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"04316f2898a141af76c0f0ec78ac628a7737947b546e2e4fb75fb830b5a6924c","abstract_canon_sha256":"f4e1b03ff2c0b58fe66ed5e1bd351e9f32998de0a60ca0dd67163461cfa7b4cd"},"schema_version":"1.0"},"canonical_sha256":"c2b3bbd769da74ecb59969e5ac2a4fdb1e77a93955742e458d97390ea0fc179b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:02:25.244390Z","signature_b64":"l/OAdvfp7ewz4AHVSTGusKd75VkiYm6ozA6Mm0tUS5jd7G1RvzbB8S0P5q8I/Slupg9tBvNzB2KaeSKbLpVbAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c2b3bbd769da74ecb59969e5ac2a4fdb1e77a93955742e458d97390ea0fc179b","last_reissued_at":"2026-05-18T04:02:25.243873Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:02:25.243873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1103.3693","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:02:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hEIXhb2lj59kcAHSqiRJTKsXdFz/Lgq4liNCw2y9Pf+u0e2RLwW6Bdnay+MSzzz3ha6XwTQgVFmhP3Xc3p1kBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T02:42:02.198877Z"},"content_sha256":"3a6b22963a0e890e66c431eafb3f34e7702b56de794bf44a2e1d588fec578b90","schema_version":"1.0","event_id":"sha256:3a6b22963a0e890e66c431eafb3f34e7702b56de794bf44a2e1d588fec578b90"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:YKZ3XV3J3J2OZNMZNHS2YKSP3M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Constraint satisfaction problems in clausal form","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"cs.DM","authors_text":"Oliver Kullmann","submitted_at":"2011-03-18T19:47:40Z","abstract_excerpt":"This is the report-version of a mini-series of two articles on the foundations of satisfiability of conjunctive normal forms with non-boolean variables, to appear in Fundamenta Informaticae, 2011. These two parts are here bundled in one report, each part yielding a chapter.\n  Generalised conjunctive normal forms are considered, allowing literals of the form \"variable not-equal value\". The first part sets the foundations for the theory of autarkies, with emphasise on matching autarkies. Main results concern various polynomial time results in dependency on the deficiency. The second part conside"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.3693","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:02:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YsVQdy7CEcLjzCNsfhVt+izsb+OzVHD2QGkSCQlM8ByMzBEwx0N253cPqqmDbD+wtbwr36eWKXUHVFo9iFo1AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T02:42:02.199606Z"},"content_sha256":"1e1f8ab2fd6b1d07ff1fe88457b4ea090db4e25d7f8e8d40be85e9f6b1249065","schema_version":"1.0","event_id":"sha256:1e1f8ab2fd6b1d07ff1fe88457b4ea090db4e25d7f8e8d40be85e9f6b1249065"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YKZ3XV3J3J2OZNMZNHS2YKSP3M/bundle.json","state_url":"https://pith.science/pith/YKZ3XV3J3J2OZNMZNHS2YKSP3M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YKZ3XV3J3J2OZNMZNHS2YKSP3M/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-27T02:42:02Z","links":{"resolver":"https://pith.science/pith/YKZ3XV3J3J2OZNMZNHS2YKSP3M","bundle":"https://pith.science/pith/YKZ3XV3J3J2OZNMZNHS2YKSP3M/bundle.json","state":"https://pith.science/pith/YKZ3XV3J3J2OZNMZNHS2YKSP3M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YKZ3XV3J3J2OZNMZNHS2YKSP3M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:YKZ3XV3J3J2OZNMZNHS2YKSP3M","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":"f4e1b03ff2c0b58fe66ed5e1bd351e9f32998de0a60ca0dd67163461cfa7b4cd","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2011-03-18T19:47:40Z","title_canon_sha256":"04316f2898a141af76c0f0ec78ac628a7737947b546e2e4fb75fb830b5a6924c"},"schema_version":"1.0","source":{"id":"1103.3693","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.3693","created_at":"2026-05-18T04:02:25Z"},{"alias_kind":"arxiv_version","alias_value":"1103.3693v1","created_at":"2026-05-18T04:02:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.3693","created_at":"2026-05-18T04:02:25Z"},{"alias_kind":"pith_short_12","alias_value":"YKZ3XV3J3J2O","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"YKZ3XV3J3J2OZNMZ","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"YKZ3XV3J","created_at":"2026-05-18T12:26:47Z"}],"graph_snapshots":[{"event_id":"sha256:1e1f8ab2fd6b1d07ff1fe88457b4ea090db4e25d7f8e8d40be85e9f6b1249065","target":"graph","created_at":"2026-05-18T04:02:25Z","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":"This is the report-version of a mini-series of two articles on the foundations of satisfiability of conjunctive normal forms with non-boolean variables, to appear in Fundamenta Informaticae, 2011. These two parts are here bundled in one report, each part yielding a chapter.\n  Generalised conjunctive normal forms are considered, allowing literals of the form \"variable not-equal value\". The first part sets the foundations for the theory of autarkies, with emphasise on matching autarkies. Main results concern various polynomial time results in dependency on the deficiency. The second part conside","authors_text":"Oliver Kullmann","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2011-03-18T19:47:40Z","title":"Constraint satisfaction problems in clausal form"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.3693","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:3a6b22963a0e890e66c431eafb3f34e7702b56de794bf44a2e1d588fec578b90","target":"record","created_at":"2026-05-18T04:02:25Z","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":"f4e1b03ff2c0b58fe66ed5e1bd351e9f32998de0a60ca0dd67163461cfa7b4cd","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2011-03-18T19:47:40Z","title_canon_sha256":"04316f2898a141af76c0f0ec78ac628a7737947b546e2e4fb75fb830b5a6924c"},"schema_version":"1.0","source":{"id":"1103.3693","kind":"arxiv","version":1}},"canonical_sha256":"c2b3bbd769da74ecb59969e5ac2a4fdb1e77a93955742e458d97390ea0fc179b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c2b3bbd769da74ecb59969e5ac2a4fdb1e77a93955742e458d97390ea0fc179b","first_computed_at":"2026-05-18T04:02:25.243873Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:25.243873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"l/OAdvfp7ewz4AHVSTGusKd75VkiYm6ozA6Mm0tUS5jd7G1RvzbB8S0P5q8I/Slupg9tBvNzB2KaeSKbLpVbAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:25.244390Z","signed_message":"canonical_sha256_bytes"},"source_id":"1103.3693","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a6b22963a0e890e66c431eafb3f34e7702b56de794bf44a2e1d588fec578b90","sha256:1e1f8ab2fd6b1d07ff1fe88457b4ea090db4e25d7f8e8d40be85e9f6b1249065"],"state_sha256":"e10e3eefa35cf061411370151d443ba151901487eb5e55336f7e08282a8585bd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lJ2D7krJQWmqUhYJ/6+O/SFulDLF67YmqZv9lMRraYQtt/diuRr/d27eJkCGwjWA9hCR7yKL3RZt0IdSCKB7Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T02:42:02.203206Z","bundle_sha256":"5c40cf12d98ed0e1d0fc04f96d6c756dd350400ce502878652d772e24238c65f"}}