{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:Q4LD76BKWJLVPNCO2TZVMQG4QW","short_pith_number":"pith:Q4LD76BK","canonical_record":{"source":{"id":"1705.05316","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-15T16:28:00Z","cross_cats_sorted":[],"title_canon_sha256":"79f8109d2c79beac62f218ec28950cca8ffe38aca9c5d7ff5d5f15334c7dc438","abstract_canon_sha256":"791be2aafb4785df4df31d1cd7181d53ecc4f75a62c9e6ceb83b4d7effd37652"},"schema_version":"1.0"},"canonical_sha256":"87163ff82ab25757b44ed4f35640dc85b141eee7f8e4e0eeec698e21e083b91f","source":{"kind":"arxiv","id":"1705.05316","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.05316","created_at":"2026-05-18T00:44:30Z"},{"alias_kind":"arxiv_version","alias_value":"1705.05316v1","created_at":"2026-05-18T00:44:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.05316","created_at":"2026-05-18T00:44:30Z"},{"alias_kind":"pith_short_12","alias_value":"Q4LD76BKWJLV","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"Q4LD76BKWJLVPNCO","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"Q4LD76BK","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:Q4LD76BKWJLVPNCO2TZVMQG4QW","target":"record","payload":{"canonical_record":{"source":{"id":"1705.05316","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-15T16:28:00Z","cross_cats_sorted":[],"title_canon_sha256":"79f8109d2c79beac62f218ec28950cca8ffe38aca9c5d7ff5d5f15334c7dc438","abstract_canon_sha256":"791be2aafb4785df4df31d1cd7181d53ecc4f75a62c9e6ceb83b4d7effd37652"},"schema_version":"1.0"},"canonical_sha256":"87163ff82ab25757b44ed4f35640dc85b141eee7f8e4e0eeec698e21e083b91f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:30.843699Z","signature_b64":"3+b3/B+UGt8XRVo3TtoT409CWsXZ2PwZgprCCFvFx35lJQPiUb+x1hlEUD1+6bqmEbplMsLeS4XDihXBkKl3Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"87163ff82ab25757b44ed4f35640dc85b141eee7f8e4e0eeec698e21e083b91f","last_reissued_at":"2026-05-18T00:44:30.843061Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:30.843061Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.05316","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-18T00:44:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YIsFoSDKsraOPCRPi7TedMBCg4D0+t4Y/Uy01G7REEPs+oSn1jy9AstrEQlETrwDDWIeBIUKYVtleLYqVkhPDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T17:03:03.614120Z"},"content_sha256":"df8688fe280e16eeaa9953c4a219877de3cfe64d4e25f86b01cdf1d19095d08b","schema_version":"1.0","event_id":"sha256:df8688fe280e16eeaa9953c4a219877de3cfe64d4e25f86b01cdf1d19095d08b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:Q4LD76BKWJLVPNCO2TZVMQG4QW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exploiting the Pruning Power of Strong Local Consistencies Through Parallelization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Kostas Stergiou, Minas Dasygenis","submitted_at":"2017-05-15T16:28:00Z","abstract_excerpt":"Local consistencies stronger than arc consistency have received a lot of attention since the early days of CSP research. %because of the strong pruning they can achieve. However, they have not been widely adopted by CSP solvers. This is because applying such consistencies can sometimes result in considerably smaller search tree sizes and therefore in important speed-ups, but in other cases the search space reduction may be small, causing severe run time penalties. Taking advantage of recent advances in parallelization, we propose a novel approach for the application of strong local consistenci"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.05316","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-18T00:44:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9o3wgtfvnCEbqmxlvfm6NNSccOQnWl79zohknXGob29Sn4FVNHzbCWe4mvsQpUI7VqaVNnbZ+5L29owe8C+PAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T17:03:03.614476Z"},"content_sha256":"0876de34b8213a12d32ec8a19c99b24ad87bd06a92f885cebbbd0bc39f91d153","schema_version":"1.0","event_id":"sha256:0876de34b8213a12d32ec8a19c99b24ad87bd06a92f885cebbbd0bc39f91d153"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q4LD76BKWJLVPNCO2TZVMQG4QW/bundle.json","state_url":"https://pith.science/pith/Q4LD76BKWJLVPNCO2TZVMQG4QW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q4LD76BKWJLVPNCO2TZVMQG4QW/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-29T17:03:03Z","links":{"resolver":"https://pith.science/pith/Q4LD76BKWJLVPNCO2TZVMQG4QW","bundle":"https://pith.science/pith/Q4LD76BKWJLVPNCO2TZVMQG4QW/bundle.json","state":"https://pith.science/pith/Q4LD76BKWJLVPNCO2TZVMQG4QW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q4LD76BKWJLVPNCO2TZVMQG4QW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:Q4LD76BKWJLVPNCO2TZVMQG4QW","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":"791be2aafb4785df4df31d1cd7181d53ecc4f75a62c9e6ceb83b4d7effd37652","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-15T16:28:00Z","title_canon_sha256":"79f8109d2c79beac62f218ec28950cca8ffe38aca9c5d7ff5d5f15334c7dc438"},"schema_version":"1.0","source":{"id":"1705.05316","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.05316","created_at":"2026-05-18T00:44:30Z"},{"alias_kind":"arxiv_version","alias_value":"1705.05316v1","created_at":"2026-05-18T00:44:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.05316","created_at":"2026-05-18T00:44:30Z"},{"alias_kind":"pith_short_12","alias_value":"Q4LD76BKWJLV","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"Q4LD76BKWJLVPNCO","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"Q4LD76BK","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:0876de34b8213a12d32ec8a19c99b24ad87bd06a92f885cebbbd0bc39f91d153","target":"graph","created_at":"2026-05-18T00:44:30Z","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":"Local consistencies stronger than arc consistency have received a lot of attention since the early days of CSP research. %because of the strong pruning they can achieve. However, they have not been widely adopted by CSP solvers. This is because applying such consistencies can sometimes result in considerably smaller search tree sizes and therefore in important speed-ups, but in other cases the search space reduction may be small, causing severe run time penalties. Taking advantage of recent advances in parallelization, we propose a novel approach for the application of strong local consistenci","authors_text":"Kostas Stergiou, Minas Dasygenis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-15T16:28:00Z","title":"Exploiting the Pruning Power of Strong Local Consistencies Through Parallelization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.05316","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:df8688fe280e16eeaa9953c4a219877de3cfe64d4e25f86b01cdf1d19095d08b","target":"record","created_at":"2026-05-18T00:44:30Z","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":"791be2aafb4785df4df31d1cd7181d53ecc4f75a62c9e6ceb83b4d7effd37652","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-15T16:28:00Z","title_canon_sha256":"79f8109d2c79beac62f218ec28950cca8ffe38aca9c5d7ff5d5f15334c7dc438"},"schema_version":"1.0","source":{"id":"1705.05316","kind":"arxiv","version":1}},"canonical_sha256":"87163ff82ab25757b44ed4f35640dc85b141eee7f8e4e0eeec698e21e083b91f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"87163ff82ab25757b44ed4f35640dc85b141eee7f8e4e0eeec698e21e083b91f","first_computed_at":"2026-05-18T00:44:30.843061Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:30.843061Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3+b3/B+UGt8XRVo3TtoT409CWsXZ2PwZgprCCFvFx35lJQPiUb+x1hlEUD1+6bqmEbplMsLeS4XDihXBkKl3Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:30.843699Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.05316","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:df8688fe280e16eeaa9953c4a219877de3cfe64d4e25f86b01cdf1d19095d08b","sha256:0876de34b8213a12d32ec8a19c99b24ad87bd06a92f885cebbbd0bc39f91d153"],"state_sha256":"2112407216317479108c061c017f2d0a112e0acb5ec230620d3143f70ebc2058"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ggC5UNXc8Dl5384Z/+rVzLI1Y1puvtp5uP41eMk6TzZ3P7qHO428ZmZrhM5CNAyQGS2Fdr+G7eHFF4IAVDY3Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T17:03:03.616443Z","bundle_sha256":"151550833424770a9fdd4ee1a635ab4c7fed8a5d30c4e6f268ea18f16c9ab805"}}