{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:57FIYEE7JANU7O2CNO7CLINYOB","short_pith_number":"pith:57FIYEE7","canonical_record":{"source":{"id":"1402.0559","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-04T01:34:04Z","cross_cats_sorted":[],"title_canon_sha256":"336abbf4f50acc564e9eb91bc3e8fb1aeeda500e4a737445200c2f94704103b9","abstract_canon_sha256":"ade3d24886acd15275b8fb32dc5b07efd3596570219f3530b1c0fd93970417a8"},"schema_version":"1.0"},"canonical_sha256":"efca8c109f481b4fbb426bbe25a1b87067ad2be50433821f4a029386e5ae07c5","source":{"kind":"arxiv","id":"1402.0559","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.0559","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"arxiv_version","alias_value":"1402.0559v1","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.0559","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"pith_short_12","alias_value":"57FIYEE7JANU","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"57FIYEE7JANU7O2C","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"57FIYEE7","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:57FIYEE7JANU7O2CNO7CLINYOB","target":"record","payload":{"canonical_record":{"source":{"id":"1402.0559","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-04T01:34:04Z","cross_cats_sorted":[],"title_canon_sha256":"336abbf4f50acc564e9eb91bc3e8fb1aeeda500e4a737445200c2f94704103b9","abstract_canon_sha256":"ade3d24886acd15275b8fb32dc5b07efd3596570219f3530b1c0fd93970417a8"},"schema_version":"1.0"},"canonical_sha256":"efca8c109f481b4fbb426bbe25a1b87067ad2be50433821f4a029386e5ae07c5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:00:13.954810Z","signature_b64":"Xf/ziO8YgDxkVl2kh8yxVpYdazYQUoYElm6YQZjQSoksZ+GDoI1jk19jOnosunmmkmuEfc4kne4g2TwCmEwKCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efca8c109f481b4fbb426bbe25a1b87067ad2be50433821f4a029386e5ae07c5","last_reissued_at":"2026-05-18T03:00:13.953981Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:00:13.953981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.0559","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:00:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YGHJ+W5DN0we1XhrQYMtLsYgqL6ubrlOnOJy37L2R1Oc35V7tkiLRD9xO+FqKzISBG8l37WOoAqBWaBCTr4uDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T21:04:08.793030Z"},"content_sha256":"dbd88dca032946dd93a6b11c44f5283a3cfbcc9c1a6d11e9a3666adb96830678","schema_version":"1.0","event_id":"sha256:dbd88dca032946dd93a6b11c44f5283a3cfbcc9c1a6d11e9a3666adb96830678"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:57FIYEE7JANU7O2CNO7CLINYOB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Short and Long Supports for Constraint Propagation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Christopher Jefferson, Ian Miguel, Ian Philip Gent, Peter Nightingale","submitted_at":"2014-02-04T01:34:04Z","abstract_excerpt":"Special-purpose constraint propagation algorithms frequently make implicit use of short supports -- by examining a subset of the variables, they can infer support (a justification that a variable-value pair may still form part of an assignment that satisfies the constraint) for all other variables and values and save substantial work -- but short supports have not been studied in their own right. The two main contributions of this paper are the identification of short supports as important for constraint propagation, and the introduction of HaggisGAC, an efficient and effective general purpose"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.0559","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:00:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FmfMs96FyB4o5PeUZDSqp9MKdgt67sS0YKAokCqhzixet09+kco06oHXnVlzGBC1xP6pYRdYDFz85EWa8LiTCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T21:04:08.793773Z"},"content_sha256":"c766bfb3d02e2be7b6784560373583a9691d889f9e23b4291d3252b2dafbe673","schema_version":"1.0","event_id":"sha256:c766bfb3d02e2be7b6784560373583a9691d889f9e23b4291d3252b2dafbe673"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/57FIYEE7JANU7O2CNO7CLINYOB/bundle.json","state_url":"https://pith.science/pith/57FIYEE7JANU7O2CNO7CLINYOB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/57FIYEE7JANU7O2CNO7CLINYOB/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-11T21:04:08Z","links":{"resolver":"https://pith.science/pith/57FIYEE7JANU7O2CNO7CLINYOB","bundle":"https://pith.science/pith/57FIYEE7JANU7O2CNO7CLINYOB/bundle.json","state":"https://pith.science/pith/57FIYEE7JANU7O2CNO7CLINYOB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/57FIYEE7JANU7O2CNO7CLINYOB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:57FIYEE7JANU7O2CNO7CLINYOB","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":"ade3d24886acd15275b8fb32dc5b07efd3596570219f3530b1c0fd93970417a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-04T01:34:04Z","title_canon_sha256":"336abbf4f50acc564e9eb91bc3e8fb1aeeda500e4a737445200c2f94704103b9"},"schema_version":"1.0","source":{"id":"1402.0559","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.0559","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"arxiv_version","alias_value":"1402.0559v1","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.0559","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"pith_short_12","alias_value":"57FIYEE7JANU","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"57FIYEE7JANU7O2C","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"57FIYEE7","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:c766bfb3d02e2be7b6784560373583a9691d889f9e23b4291d3252b2dafbe673","target":"graph","created_at":"2026-05-18T03:00:13Z","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":"Special-purpose constraint propagation algorithms frequently make implicit use of short supports -- by examining a subset of the variables, they can infer support (a justification that a variable-value pair may still form part of an assignment that satisfies the constraint) for all other variables and values and save substantial work -- but short supports have not been studied in their own right. The two main contributions of this paper are the identification of short supports as important for constraint propagation, and the introduction of HaggisGAC, an efficient and effective general purpose","authors_text":"Christopher Jefferson, Ian Miguel, Ian Philip Gent, Peter Nightingale","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-04T01:34:04Z","title":"Short and Long Supports for Constraint Propagation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.0559","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:dbd88dca032946dd93a6b11c44f5283a3cfbcc9c1a6d11e9a3666adb96830678","target":"record","created_at":"2026-05-18T03:00:13Z","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":"ade3d24886acd15275b8fb32dc5b07efd3596570219f3530b1c0fd93970417a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-04T01:34:04Z","title_canon_sha256":"336abbf4f50acc564e9eb91bc3e8fb1aeeda500e4a737445200c2f94704103b9"},"schema_version":"1.0","source":{"id":"1402.0559","kind":"arxiv","version":1}},"canonical_sha256":"efca8c109f481b4fbb426bbe25a1b87067ad2be50433821f4a029386e5ae07c5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efca8c109f481b4fbb426bbe25a1b87067ad2be50433821f4a029386e5ae07c5","first_computed_at":"2026-05-18T03:00:13.953981Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:00:13.953981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Xf/ziO8YgDxkVl2kh8yxVpYdazYQUoYElm6YQZjQSoksZ+GDoI1jk19jOnosunmmkmuEfc4kne4g2TwCmEwKCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:00:13.954810Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.0559","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dbd88dca032946dd93a6b11c44f5283a3cfbcc9c1a6d11e9a3666adb96830678","sha256:c766bfb3d02e2be7b6784560373583a9691d889f9e23b4291d3252b2dafbe673"],"state_sha256":"856f8278406f23ce9d54d0d24d747c154eb098ecdfb329dd03918049d8c20d86"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y694wQaU8hYQ9fwSv5hMFsTE409kWy7/hrU/ZnOBWClFdJm/R7q2vYgxTcfrbfoZAXVfDvYnFzdAFdnWzn7NAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T21:04:08.797369Z","bundle_sha256":"901b087826c01c94a0b7dbf575c435aecd4542590718f42d24e4ea2b0bbb6692"}}