{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2004:WMUM5NJJPLPTUM3TEPX4FSQIJN","short_pith_number":"pith:WMUM5NJJ","canonical_record":{"source":{"id":"cs/0412026","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2004-12-07T06:31:34Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"359bfd8f7e57d790b76f65228b41cb28689cf3946424041cd63b52a28560e43f","abstract_canon_sha256":"ef0584b5a8f21d306dac5335416bfa22b263dcd7a0c9dfab3507df0dbb37b0a7"},"schema_version":"1.0"},"canonical_sha256":"b328ceb5297adf3a337323efc2ca084b6ba2483e41399fde7ea0de623a3937b7","source":{"kind":"arxiv","id":"cs/0412026","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0412026","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0412026v1","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0412026","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_12","alias_value":"WMUM5NJJPLPT","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_16","alias_value":"WMUM5NJJPLPTUM3T","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_8","alias_value":"WMUM5NJJ","created_at":"2026-07-04T14:24:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2004:WMUM5NJJPLPTUM3TEPX4FSQIJN","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0412026","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2004-12-07T06:31:34Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"359bfd8f7e57d790b76f65228b41cb28689cf3946424041cd63b52a28560e43f","abstract_canon_sha256":"ef0584b5a8f21d306dac5335416bfa22b263dcd7a0c9dfab3507df0dbb37b0a7"},"schema_version":"1.0"},"canonical_sha256":"b328ceb5297adf3a337323efc2ca084b6ba2483e41399fde7ea0de623a3937b7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:24:49.904652Z","signature_b64":"fdrJMeLJfLEGVlHkbpezU9/bm69YE8+QDI7gnSbT+wMSFirTyDKCuimOeeC0za9dU9rjimwmM4SSgSWExczhBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b328ceb5297adf3a337323efc2ca084b6ba2483e41399fde7ea0de623a3937b7","last_reissued_at":"2026-07-04T14:24:49.904212Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:24:49.904212Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0412026","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":"LIw7WzWVKxMsDY/vaG4/wP12NORHfCCPGq/ZytXr8OhUsLNJbncai1likdOky7b/kKgr0IbJ3bUAqnJKpR3nCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T20:14:37.595491Z"},"content_sha256":"296b53db4cabf90523aba6db624a4d2194bfe8616d99032ae21f21890fed2a85","schema_version":"1.0","event_id":"sha256:296b53db4cabf90523aba6db624a4d2194bfe8616d99032ae21f21890fed2a85"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2004:WMUM5NJJPLPTUM3TEPX4FSQIJN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Removing Propagation Redundant Constraints in Redundant Modeling","license":"","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey","submitted_at":"2004-12-07T06:31:34Z","abstract_excerpt":"A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with various degrees of constraint propagation for pruning the search space. One common technique to improve the execution efficiency is to add redundant constraints, which are constraints logically implied by others in the problem model. However, some redundant constraints are propagation redundant and hence do not contribute additional propagation information to the constraint solver. Redundant constraints arise naturally in the process of redundant modeling where two models of the same prob"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0412026","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/0412026/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":"y/m6HcL2WYz3UDC3mJ2A+jTwo/WtLXWLTOpBR7SOymRdqpBnYwmZ8b3ue7Xxl6JZy7edSca8tYdnKe0GcWZEAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T20:14:37.595988Z"},"content_sha256":"c416d33724f5dff38c59a25c796c51f4353ccb5004fb7eeb817a3b9fe1e8b42f","schema_version":"1.0","event_id":"sha256:c416d33724f5dff38c59a25c796c51f4353ccb5004fb7eeb817a3b9fe1e8b42f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WMUM5NJJPLPTUM3TEPX4FSQIJN/bundle.json","state_url":"https://pith.science/pith/WMUM5NJJPLPTUM3TEPX4FSQIJN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WMUM5NJJPLPTUM3TEPX4FSQIJN/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-05T20:14:37Z","links":{"resolver":"https://pith.science/pith/WMUM5NJJPLPTUM3TEPX4FSQIJN","bundle":"https://pith.science/pith/WMUM5NJJPLPTUM3TEPX4FSQIJN/bundle.json","state":"https://pith.science/pith/WMUM5NJJPLPTUM3TEPX4FSQIJN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WMUM5NJJPLPTUM3TEPX4FSQIJN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:WMUM5NJJPLPTUM3TEPX4FSQIJN","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":"ef0584b5a8f21d306dac5335416bfa22b263dcd7a0c9dfab3507df0dbb37b0a7","cross_cats_sorted":["cs.AI"],"license":"","primary_cat":"cs.LO","submitted_at":"2004-12-07T06:31:34Z","title_canon_sha256":"359bfd8f7e57d790b76f65228b41cb28689cf3946424041cd63b52a28560e43f"},"schema_version":"1.0","source":{"id":"cs/0412026","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0412026","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0412026v1","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0412026","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_12","alias_value":"WMUM5NJJPLPT","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_16","alias_value":"WMUM5NJJPLPTUM3T","created_at":"2026-07-04T14:24:49Z"},{"alias_kind":"pith_short_8","alias_value":"WMUM5NJJ","created_at":"2026-07-04T14:24:49Z"}],"graph_snapshots":[{"event_id":"sha256:c416d33724f5dff38c59a25c796c51f4353ccb5004fb7eeb817a3b9fe1e8b42f","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/0412026/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 various degrees of constraint propagation for pruning the search space. One common technique to improve the execution efficiency is to add redundant constraints, which are constraints logically implied by others in the problem model. However, some redundant constraints are propagation redundant and hence do not contribute additional propagation information to the constraint solver. Redundant constraints arise naturally in the process of redundant modeling where two models of the same prob","authors_text":"Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey","cross_cats":["cs.AI"],"headline":"","license":"","primary_cat":"cs.LO","submitted_at":"2004-12-07T06:31:34Z","title":"Removing Propagation Redundant Constraints in Redundant Modeling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0412026","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:296b53db4cabf90523aba6db624a4d2194bfe8616d99032ae21f21890fed2a85","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":"ef0584b5a8f21d306dac5335416bfa22b263dcd7a0c9dfab3507df0dbb37b0a7","cross_cats_sorted":["cs.AI"],"license":"","primary_cat":"cs.LO","submitted_at":"2004-12-07T06:31:34Z","title_canon_sha256":"359bfd8f7e57d790b76f65228b41cb28689cf3946424041cd63b52a28560e43f"},"schema_version":"1.0","source":{"id":"cs/0412026","kind":"arxiv","version":1}},"canonical_sha256":"b328ceb5297adf3a337323efc2ca084b6ba2483e41399fde7ea0de623a3937b7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b328ceb5297adf3a337323efc2ca084b6ba2483e41399fde7ea0de623a3937b7","first_computed_at":"2026-07-04T14:24:49.904212Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:24:49.904212Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fdrJMeLJfLEGVlHkbpezU9/bm69YE8+QDI7gnSbT+wMSFirTyDKCuimOeeC0za9dU9rjimwmM4SSgSWExczhBA==","signature_status":"signed_v1","signed_at":"2026-07-04T14:24:49.904652Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0412026","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:296b53db4cabf90523aba6db624a4d2194bfe8616d99032ae21f21890fed2a85","sha256:c416d33724f5dff38c59a25c796c51f4353ccb5004fb7eeb817a3b9fe1e8b42f"],"state_sha256":"d15150668fe78197801cbec9818eabfd697a6c215666ace0a6aac8ece2116e39"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4GEfBrPbcWvXHI6pkQyFXPhJhSoywiRZ8lyE9GKuEJjPWRX6NtHF3wgn0Bd9GAC2r+emPJcc3uWBnb8uFKHjCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T20:14:37.602187Z","bundle_sha256":"8eaf58c172000fb2ddfd9329e55caddf958199154f033ad72b704336e8fe7507"}}