{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2004:UFQIKN3OYU3GD5DU2H2ZYZV43G","short_pith_number":"pith:UFQIKN3O","canonical_record":{"source":{"id":"cs/0412021","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2004-12-06T08:04:03Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"24ac90010f7c9002f4ffdc4cc80823c787f7b7f97b268a7170f03057bca3b1e9","abstract_canon_sha256":"35d43a5e00566133de1ae89a0f9813c6bdd97214e4d88fb2a57bc9a4a955f375"},"schema_version":"1.0"},"canonical_sha256":"a16085376ec53661f474d1f59c66bcd98fd9f09e4ffbb20db1e40fa007da2073","source":{"kind":"arxiv","id":"cs/0412021","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0412021","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0412021v1","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0412021","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_12","alias_value":"UFQIKN3OYU3G","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_16","alias_value":"UFQIKN3OYU3GD5DU","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_8","alias_value":"UFQIKN3O","created_at":"2026-07-04T14:24:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2004:UFQIKN3OYU3GD5DU2H2ZYZV43G","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0412021","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2004-12-06T08:04:03Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"24ac90010f7c9002f4ffdc4cc80823c787f7b7f97b268a7170f03057bca3b1e9","abstract_canon_sha256":"35d43a5e00566133de1ae89a0f9813c6bdd97214e4d88fb2a57bc9a4a955f375"},"schema_version":"1.0"},"canonical_sha256":"a16085376ec53661f474d1f59c66bcd98fd9f09e4ffbb20db1e40fa007da2073","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:24:49.852354Z","signature_b64":"5E68LUm96qnWpRZCzqIfkYNRYpxz+urJRJ+3IpBQdHo0O7fFlLiUFHB6DNmljNAnSZSfK7bndceGTkCrpk50Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a16085376ec53661f474d1f59c66bcd98fd9f09e4ffbb20db1e40fa007da2073","last_reissued_at":"2026-07-04T14:24:49.851909Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:24:49.851909Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0412021","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-04T14:24:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0xUDoQ4KD/FxO89eyFdBpyVwIdcA+t9F7Ksn0gq+VtiUvdwfQm83wm0FIccCWRHNQRTc/QIpIUmox5ymiCsrAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T14:09:28.335953Z"},"content_sha256":"bdbc0b2c40a709689a0156576785249ab280ad3e99de8ffa737bca584af0843d","schema_version":"1.0","event_id":"sha256:bdbc0b2c40a709689a0156576785249ab280ad3e99de8ffa737bca584af0843d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2004:UFQIKN3OYU3GD5DU2H2ZYZV43G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finite Domain Bounds Consistency Revisited","license":"","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey, Warwick Harvey","submitted_at":"2004-12-06T08:04:03Z","abstract_excerpt":"A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagation is performed by propagators implementing a certain notion of consistency. Bounds consistency is the method of choice for building propagators for arithmetic constraints and several global constraints in the finite integer domain. However, there has been some confusion in the definition of bounds consistency. In this paper we clarify the differences and similarities among the three commonly used notions of bounds c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0412021","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/cs/0412021/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-04T14:24:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fMGjibdyjNCcOp0/8KpxtUjRHGJRnRd6N75SQLxMwS8A3gNsfdZ//TNqnilLHYxNvt1hviEbMcqWDYCoWMw5Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T14:09:28.336470Z"},"content_sha256":"16138da06111fcb390608d6db58640fe978fd81b77d6520d8713ace5a7682d70","schema_version":"1.0","event_id":"sha256:16138da06111fcb390608d6db58640fe978fd81b77d6520d8713ace5a7682d70"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UFQIKN3OYU3GD5DU2H2ZYZV43G/bundle.json","state_url":"https://pith.science/pith/UFQIKN3OYU3GD5DU2H2ZYZV43G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UFQIKN3OYU3GD5DU2H2ZYZV43G/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-12T14:09:28Z","links":{"resolver":"https://pith.science/pith/UFQIKN3OYU3GD5DU2H2ZYZV43G","bundle":"https://pith.science/pith/UFQIKN3OYU3GD5DU2H2ZYZV43G/bundle.json","state":"https://pith.science/pith/UFQIKN3OYU3GD5DU2H2ZYZV43G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UFQIKN3OYU3GD5DU2H2ZYZV43G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:UFQIKN3OYU3GD5DU2H2ZYZV43G","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":"35d43a5e00566133de1ae89a0f9813c6bdd97214e4d88fb2a57bc9a4a955f375","cross_cats_sorted":["cs.LO"],"license":"","primary_cat":"cs.AI","submitted_at":"2004-12-06T08:04:03Z","title_canon_sha256":"24ac90010f7c9002f4ffdc4cc80823c787f7b7f97b268a7170f03057bca3b1e9"},"schema_version":"1.0","source":{"id":"cs/0412021","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0412021","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0412021v1","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0412021","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_12","alias_value":"UFQIKN3OYU3G","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_16","alias_value":"UFQIKN3OYU3GD5DU","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_8","alias_value":"UFQIKN3O","created_at":"2026-07-04T14:24:49Z"}],"graph_snapshots":[{"event_id":"sha256:16138da06111fcb390608d6db58640fe978fd81b77d6520d8713ace5a7682d70","target":"graph","created_at":"2026-07-04T14:24:49Z","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/cs/0412021/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagation is performed by propagators implementing a certain notion of consistency. Bounds consistency is the method of choice for building propagators for arithmetic constraints and several global constraints in the finite integer domain. However, there has been some confusion in the definition of bounds consistency. In this paper we clarify the differences and similarities among the three commonly used notions of bounds c","authors_text":"Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey, Warwick Harvey","cross_cats":["cs.LO"],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"2004-12-06T08:04:03Z","title":"Finite Domain Bounds Consistency Revisited"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0412021","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:bdbc0b2c40a709689a0156576785249ab280ad3e99de8ffa737bca584af0843d","target":"record","created_at":"2026-07-04T14:24:49Z","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":"35d43a5e00566133de1ae89a0f9813c6bdd97214e4d88fb2a57bc9a4a955f375","cross_cats_sorted":["cs.LO"],"license":"","primary_cat":"cs.AI","submitted_at":"2004-12-06T08:04:03Z","title_canon_sha256":"24ac90010f7c9002f4ffdc4cc80823c787f7b7f97b268a7170f03057bca3b1e9"},"schema_version":"1.0","source":{"id":"cs/0412021","kind":"arxiv","version":1}},"canonical_sha256":"a16085376ec53661f474d1f59c66bcd98fd9f09e4ffbb20db1e40fa007da2073","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a16085376ec53661f474d1f59c66bcd98fd9f09e4ffbb20db1e40fa007da2073","first_computed_at":"2026-07-04T14:24:49.851909Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:24:49.851909Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5E68LUm96qnWpRZCzqIfkYNRYpxz+urJRJ+3IpBQdHo0O7fFlLiUFHB6DNmljNAnSZSfK7bndceGTkCrpk50Bg==","signature_status":"signed_v1","signed_at":"2026-07-04T14:24:49.852354Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0412021","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bdbc0b2c40a709689a0156576785249ab280ad3e99de8ffa737bca584af0843d","sha256:16138da06111fcb390608d6db58640fe978fd81b77d6520d8713ace5a7682d70"],"state_sha256":"244e6e49b97e0139bcafc41147861fd578d9a20a3f7a7b318a8e3d8f9d51781e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nBgCXbXKVWv0aHL7zAFHG9T54R7Cck0JMwij70utUVyFAYnDd6xY0g37ulbRMUlKIZgkD8A9mxOfzrh/TXobAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T14:09:28.341620Z","bundle_sha256":"8b209c8ebcd031ed7c2c4931023761dbd05393c693fe026726cf2c5db6f68451"}}