{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2004:WZW7M6NFF75WKE3X5EDHJYOXLG","short_pith_number":"pith:WZW7M6NF","canonical_record":{"source":{"id":"cs/0411016","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2004-11-08T08:32:40Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"09dbd9c8597bf5f43f3e3534fc5767b6f9970ad07bc40208867fadb13d60809d","abstract_canon_sha256":"d2634e1f6e794c35626970ffae86ec374c770ad98a3339b6bf3269b335371281"},"schema_version":"1.0"},"canonical_sha256":"b66df679a52ffb651377e90674e1d759a661074b53a7045ec41545a73a5f042b","source":{"kind":"arxiv","id":"cs/0411016","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0411016","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0411016v2","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0411016","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"pith_short_12","alias_value":"WZW7M6NFF75W","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"WZW7M6NFF75WKE3X","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"WZW7M6NF","created_at":"2026-05-18T12:25:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2004:WZW7M6NFF75WKE3X5EDHJYOXLG","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0411016","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2004-11-08T08:32:40Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"09dbd9c8597bf5f43f3e3534fc5767b6f9970ad07bc40208867fadb13d60809d","abstract_canon_sha256":"d2634e1f6e794c35626970ffae86ec374c770ad98a3339b6bf3269b335371281"},"schema_version":"1.0"},"canonical_sha256":"b66df679a52ffb651377e90674e1d759a661074b53a7045ec41545a73a5f042b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:06:49.196658Z","signature_b64":"KPy/27Gh8j1qXLyoTG7Yls/Ez0AjPosdN0Ls4ZsIucIfAvbLqbl1hXk99i2cuMY6Xbatsi47yntsvQDYJMMwDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b66df679a52ffb651377e90674e1d759a661074b53a7045ec41545a73a5f042b","last_reissued_at":"2026-05-18T01:06:49.196092Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:06:49.196092Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0411016","source_version":2,"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-18T01:06:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fC+CKVCj8nAowoeUqFFpotCt8YGzdleTMNSGOZH6RcGZQCjRGkyXuzfCK04dsK/tgZFVETJGMFpbGaDusiXvCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T15:06:58.786435Z"},"content_sha256":"28b712e0c8055a833ccdad87c407f446cf6aae11ebbdf6d808371a971e362cb5","schema_version":"1.0","event_id":"sha256:28b712e0c8055a833ccdad87c407f446cf6aae11ebbdf6d808371a971e362cb5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2004:WZW7M6NFF75WKE3X5EDHJYOXLG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Intelligent search strategies based on adaptive Constraint Handling Rules","license":"","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AI","authors_text":"Armin Wolf","submitted_at":"2004-11-08T08:32:40Z","abstract_excerpt":"The most advanced implementation of adaptive constraint processing with Constraint Handling Rules (CHR) allows the application of intelligent search strategies to solve Constraint Satisfaction Problems (CSP). This presentation compares an improved version of conflict-directed backjumping and two variants of dynamic backtracking with respect to chronological backtracking on some of the AIM instances which are a benchmark set of random 3-SAT problems. A CHR implementation of a Boolean constraint solver combined with these different search strategies in Java is thus being compared with a CHR impl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0411016","kind":"arxiv","version":2},"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-18T01:06:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8f2YUigJbBhOxsO3H+pJNOZ8jGHvIlt2A0BljV3en1fiIcPWu3EXBoGDNgAAYjj3ov62rA1hMpLNWze4GccKDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T15:06:58.786904Z"},"content_sha256":"30d9da520111edf2946616b5f9902c48e522ba77c3791247121cc43593e0867c","schema_version":"1.0","event_id":"sha256:30d9da520111edf2946616b5f9902c48e522ba77c3791247121cc43593e0867c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WZW7M6NFF75WKE3X5EDHJYOXLG/bundle.json","state_url":"https://pith.science/pith/WZW7M6NFF75WKE3X5EDHJYOXLG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WZW7M6NFF75WKE3X5EDHJYOXLG/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-21T15:06:58Z","links":{"resolver":"https://pith.science/pith/WZW7M6NFF75WKE3X5EDHJYOXLG","bundle":"https://pith.science/pith/WZW7M6NFF75WKE3X5EDHJYOXLG/bundle.json","state":"https://pith.science/pith/WZW7M6NFF75WKE3X5EDHJYOXLG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WZW7M6NFF75WKE3X5EDHJYOXLG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:WZW7M6NFF75WKE3X5EDHJYOXLG","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":"d2634e1f6e794c35626970ffae86ec374c770ad98a3339b6bf3269b335371281","cross_cats_sorted":["cs.PL"],"license":"","primary_cat":"cs.AI","submitted_at":"2004-11-08T08:32:40Z","title_canon_sha256":"09dbd9c8597bf5f43f3e3534fc5767b6f9970ad07bc40208867fadb13d60809d"},"schema_version":"1.0","source":{"id":"cs/0411016","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0411016","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0411016v2","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0411016","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"pith_short_12","alias_value":"WZW7M6NFF75W","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"WZW7M6NFF75WKE3X","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"WZW7M6NF","created_at":"2026-05-18T12:25:52Z"}],"graph_snapshots":[{"event_id":"sha256:30d9da520111edf2946616b5f9902c48e522ba77c3791247121cc43593e0867c","target":"graph","created_at":"2026-05-18T01:06: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"},"paper":{"abstract_excerpt":"The most advanced implementation of adaptive constraint processing with Constraint Handling Rules (CHR) allows the application of intelligent search strategies to solve Constraint Satisfaction Problems (CSP). This presentation compares an improved version of conflict-directed backjumping and two variants of dynamic backtracking with respect to chronological backtracking on some of the AIM instances which are a benchmark set of random 3-SAT problems. A CHR implementation of a Boolean constraint solver combined with these different search strategies in Java is thus being compared with a CHR impl","authors_text":"Armin Wolf","cross_cats":["cs.PL"],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"2004-11-08T08:32:40Z","title":"Intelligent search strategies based on adaptive Constraint Handling Rules"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0411016","kind":"arxiv","version":2},"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:28b712e0c8055a833ccdad87c407f446cf6aae11ebbdf6d808371a971e362cb5","target":"record","created_at":"2026-05-18T01:06: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":"d2634e1f6e794c35626970ffae86ec374c770ad98a3339b6bf3269b335371281","cross_cats_sorted":["cs.PL"],"license":"","primary_cat":"cs.AI","submitted_at":"2004-11-08T08:32:40Z","title_canon_sha256":"09dbd9c8597bf5f43f3e3534fc5767b6f9970ad07bc40208867fadb13d60809d"},"schema_version":"1.0","source":{"id":"cs/0411016","kind":"arxiv","version":2}},"canonical_sha256":"b66df679a52ffb651377e90674e1d759a661074b53a7045ec41545a73a5f042b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b66df679a52ffb651377e90674e1d759a661074b53a7045ec41545a73a5f042b","first_computed_at":"2026-05-18T01:06:49.196092Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:06:49.196092Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KPy/27Gh8j1qXLyoTG7Yls/Ez0AjPosdN0Ls4ZsIucIfAvbLqbl1hXk99i2cuMY6Xbatsi47yntsvQDYJMMwDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:06:49.196658Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0411016","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:28b712e0c8055a833ccdad87c407f446cf6aae11ebbdf6d808371a971e362cb5","sha256:30d9da520111edf2946616b5f9902c48e522ba77c3791247121cc43593e0867c"],"state_sha256":"c956907cdeb1bc8f111342c51af0a505e941707d0361ba5332e45f19a600bab5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/AtcHw7cjxtYWG3tNhQSFR/Y0h/NytE4BNvWZIZuMxocmszK3kz5L0JbAvCUIqz/YC6zvo9Eyn0l5VIYKKBmCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T15:06:58.791096Z","bundle_sha256":"ec71a8951560405d3be002e913aeb1300d12408c8cb18fd149221def307970c4"}}