{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:ZHKIU25KVHE4W7BE3XLPZPBQU2","short_pith_number":"pith:ZHKIU25K","canonical_record":{"source":{"id":"1009.0407","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-09-02T12:24:32Z","cross_cats_sorted":[],"title_canon_sha256":"e2bc61b7ebab52a6e39192e5f071bf50c265841704674721fe1d31dd8e412fb1","abstract_canon_sha256":"fb55af0333751a674226253942b7058f8d2fd75eb927071ecfc6b72b3a79fc0a"},"schema_version":"1.0"},"canonical_sha256":"c9d48a6baaa9c9cb7c24ddd6fcbc30a684ba39211b63cb164276f10a69947321","source":{"kind":"arxiv","id":"1009.0407","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.0407","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"arxiv_version","alias_value":"1009.0407v1","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.0407","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"pith_short_12","alias_value":"ZHKIU25KVHE4","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_16","alias_value":"ZHKIU25KVHE4W7BE","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_8","alias_value":"ZHKIU25K","created_at":"2026-05-18T12:26:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:ZHKIU25KVHE4W7BE3XLPZPBQU2","target":"record","payload":{"canonical_record":{"source":{"id":"1009.0407","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-09-02T12:24:32Z","cross_cats_sorted":[],"title_canon_sha256":"e2bc61b7ebab52a6e39192e5f071bf50c265841704674721fe1d31dd8e412fb1","abstract_canon_sha256":"fb55af0333751a674226253942b7058f8d2fd75eb927071ecfc6b72b3a79fc0a"},"schema_version":"1.0"},"canonical_sha256":"c9d48a6baaa9c9cb7c24ddd6fcbc30a684ba39211b63cb164276f10a69947321","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:41:26.754618Z","signature_b64":"eW/RCoMIjMQ8ZdxF+v7vMGbQPj9qlTAHU/eNOXluhGTInDcM8yumxVsWwIGaTZtculPcUEDZvnn/qeE+t7UbBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c9d48a6baaa9c9cb7c24ddd6fcbc30a684ba39211b63cb164276f10a69947321","last_reissued_at":"2026-05-18T04:41:26.754122Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:41:26.754122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1009.0407","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:41:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8jWOr6beS4QoABYJwFLznOCk/MzLdZKaJ+9kFEWUSOeeeBjeae5NEjHv4zNzp01dYitSLSsJkjfe+EUXCriOCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T17:35:46.952817Z"},"content_sha256":"3e0f21143c97446150ec486abae8bd28c7ab9fbf23853502b094c1025a29a678","schema_version":"1.0","event_id":"sha256:3e0f21143c97446150ec486abae8bd28c7ab9fbf23853502b094c1025a29a678"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:ZHKIU25KVHE4W7BE3XLPZPBQU2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Experimental Evaluation of Branching Schemes for the CSP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Anastasia Paparrizou, Kostas Stergiou, Thanasis Balafoutis","submitted_at":"2010-09-02T12:24:32Z","abstract_excerpt":"The search strategy of a CP solver is determined by the variable and value ordering heuristics it employs and by the branching scheme it follows. Although the effects of variable and value ordering heuristics on search effort have been widely studied, the effects of different branching schemes have received less attention. In this paper we study this effect through an experimental evaluation that includes standard branching schemes such as 2-way, d-way, and dichotomic domain splitting, as well as variations of set branching where branching is performed on sets of values. We also propose and ev"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.0407","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:41:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lb5QEmu8xRb9B/38JRquRLy/g7EBg/ugIhh2sgEiYG5X49x4kzzSxzntTynSRS5ZezYmWoG2fTdxeLrwRx3dBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T17:35:46.953145Z"},"content_sha256":"d1b1bb34f61feb83a562c76c470d86d5327a6038b87dd5dc1e12025f571cbb41","schema_version":"1.0","event_id":"sha256:d1b1bb34f61feb83a562c76c470d86d5327a6038b87dd5dc1e12025f571cbb41"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZHKIU25KVHE4W7BE3XLPZPBQU2/bundle.json","state_url":"https://pith.science/pith/ZHKIU25KVHE4W7BE3XLPZPBQU2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZHKIU25KVHE4W7BE3XLPZPBQU2/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:35:46Z","links":{"resolver":"https://pith.science/pith/ZHKIU25KVHE4W7BE3XLPZPBQU2","bundle":"https://pith.science/pith/ZHKIU25KVHE4W7BE3XLPZPBQU2/bundle.json","state":"https://pith.science/pith/ZHKIU25KVHE4W7BE3XLPZPBQU2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZHKIU25KVHE4W7BE3XLPZPBQU2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:ZHKIU25KVHE4W7BE3XLPZPBQU2","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":"fb55af0333751a674226253942b7058f8d2fd75eb927071ecfc6b72b3a79fc0a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-09-02T12:24:32Z","title_canon_sha256":"e2bc61b7ebab52a6e39192e5f071bf50c265841704674721fe1d31dd8e412fb1"},"schema_version":"1.0","source":{"id":"1009.0407","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.0407","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"arxiv_version","alias_value":"1009.0407v1","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.0407","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"pith_short_12","alias_value":"ZHKIU25KVHE4","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_16","alias_value":"ZHKIU25KVHE4W7BE","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_8","alias_value":"ZHKIU25K","created_at":"2026-05-18T12:26:17Z"}],"graph_snapshots":[{"event_id":"sha256:d1b1bb34f61feb83a562c76c470d86d5327a6038b87dd5dc1e12025f571cbb41","target":"graph","created_at":"2026-05-18T04:41:26Z","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":"The search strategy of a CP solver is determined by the variable and value ordering heuristics it employs and by the branching scheme it follows. Although the effects of variable and value ordering heuristics on search effort have been widely studied, the effects of different branching schemes have received less attention. In this paper we study this effect through an experimental evaluation that includes standard branching schemes such as 2-way, d-way, and dichotomic domain splitting, as well as variations of set branching where branching is performed on sets of values. We also propose and ev","authors_text":"Anastasia Paparrizou, Kostas Stergiou, Thanasis Balafoutis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-09-02T12:24:32Z","title":"Experimental Evaluation of Branching Schemes for the CSP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.0407","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:3e0f21143c97446150ec486abae8bd28c7ab9fbf23853502b094c1025a29a678","target":"record","created_at":"2026-05-18T04:41:26Z","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":"fb55af0333751a674226253942b7058f8d2fd75eb927071ecfc6b72b3a79fc0a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-09-02T12:24:32Z","title_canon_sha256":"e2bc61b7ebab52a6e39192e5f071bf50c265841704674721fe1d31dd8e412fb1"},"schema_version":"1.0","source":{"id":"1009.0407","kind":"arxiv","version":1}},"canonical_sha256":"c9d48a6baaa9c9cb7c24ddd6fcbc30a684ba39211b63cb164276f10a69947321","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c9d48a6baaa9c9cb7c24ddd6fcbc30a684ba39211b63cb164276f10a69947321","first_computed_at":"2026-05-18T04:41:26.754122Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:41:26.754122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eW/RCoMIjMQ8ZdxF+v7vMGbQPj9qlTAHU/eNOXluhGTInDcM8yumxVsWwIGaTZtculPcUEDZvnn/qeE+t7UbBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:41:26.754618Z","signed_message":"canonical_sha256_bytes"},"source_id":"1009.0407","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3e0f21143c97446150ec486abae8bd28c7ab9fbf23853502b094c1025a29a678","sha256:d1b1bb34f61feb83a562c76c470d86d5327a6038b87dd5dc1e12025f571cbb41"],"state_sha256":"b84fe727236429d9d64a30ecbc1f268d8193796502dc054e490b2ba3684b058c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"54CoK69bJj8lEMiwaP9Gy0cUSxaf9YN7fIUqjQTY3aFWc/jzkKspD/a3Txhw6Is5vYINGQpzl2nR0L4aWcBGAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T17:35:46.954965Z","bundle_sha256":"e0de0af273593fdfdf41c61b2f5f0f26cae0815bea1cf4c98b3bdfde1e34d3ad"}}