{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:QPKOLZ326A5ZH7345DYINPB3YJ","short_pith_number":"pith:QPKOLZ32","canonical_record":{"source":{"id":"1908.05907","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-08-16T09:24:45Z","cross_cats_sorted":[],"title_canon_sha256":"6045df674c4512d187d4991283551678b32f2800831c5be69baf16c34cde9d89","abstract_canon_sha256":"96dc60b4cc8ec344d012a5e51c225b8dd985e3f8ead067d89dc5ad225c6c60f7"},"schema_version":"1.0"},"canonical_sha256":"83d4e5e77af03b93ff7ce8f086bc3bc250cba00145ccb38b5005778a77651da2","source":{"kind":"arxiv","id":"1908.05907","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.05907","created_at":"2026-07-04T23:57:54Z"},{"alias_kind":"arxiv_version","alias_value":"1908.05907v1","created_at":"2026-07-04T23:57:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.05907","created_at":"2026-07-04T23:57:54Z"},{"alias_kind":"pith_short_12","alias_value":"QPKOLZ326A5Z","created_at":"2026-07-04T23:57:54Z"},{"alias_kind":"pith_short_16","alias_value":"QPKOLZ326A5ZH734","created_at":"2026-07-04T23:57:54Z"},{"alias_kind":"pith_short_8","alias_value":"QPKOLZ32","created_at":"2026-07-04T23:57:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:QPKOLZ326A5ZH7345DYINPB3YJ","target":"record","payload":{"canonical_record":{"source":{"id":"1908.05907","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-08-16T09:24:45Z","cross_cats_sorted":[],"title_canon_sha256":"6045df674c4512d187d4991283551678b32f2800831c5be69baf16c34cde9d89","abstract_canon_sha256":"96dc60b4cc8ec344d012a5e51c225b8dd985e3f8ead067d89dc5ad225c6c60f7"},"schema_version":"1.0"},"canonical_sha256":"83d4e5e77af03b93ff7ce8f086bc3bc250cba00145ccb38b5005778a77651da2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:57:54.282463Z","signature_b64":"TlF6z9e8/3zwcxqsIlekHp9mNPdXeLQKnlqy4jrm0m5QtLd+i6HBH0My7uU70W8lU8vcdI1N72ZekKkm7S8LBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"83d4e5e77af03b93ff7ce8f086bc3bc250cba00145ccb38b5005778a77651da2","last_reissued_at":"2026-07-04T23:57:54.282050Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:57:54.282050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.05907","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-04T23:57:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gqdSYxm3SftahnW4uAX+/mD9lS9nJF2n5YR2hiT/Mkssnnw5bloziQ6YKO43CRjIT3Vkq9IsfTV4vt7aaqlHDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T14:48:42.453676Z"},"content_sha256":"a90016a147e4833b889b888f7740de25036708f8342cc91eec3b86ff6351e162","schema_version":"1.0","event_id":"sha256:a90016a147e4833b889b888f7740de25036708f8342cc91eec3b86ff6351e162"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:QPKOLZ326A5ZH7345DYINPB3YJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Regularization of Small Sub-Constraint Satisfaction Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Ke Liu, Petra Hofstedt, Sven L\\\"offler","submitted_at":"2019-08-16T09:24:45Z","abstract_excerpt":"This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is to reduce the number of fails in the resolution process, to improve the inferences made during search by the constraint solver by strengthening constraint propagation, and to maintain the level of propagation while reducing the cost of propagating the constraints. Our experimental results show improvements in terms of the resolution speed compared to the original CSPs and a compet"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.05907","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/1908.05907/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-04T23:57:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4GserSm98JgdOQ6fcEWKjWda9BmDCvRRxi/nHeR6pk8muiU0l3Kvh6nahWYQCRZWPb2Rod7rqDG6KX1gm1nKAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T14:48:42.454191Z"},"content_sha256":"75d365f51367ef2a1922365a046631e7a35de156ad85ff80ee71348f946a574f","schema_version":"1.0","event_id":"sha256:75d365f51367ef2a1922365a046631e7a35de156ad85ff80ee71348f946a574f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QPKOLZ326A5ZH7345DYINPB3YJ/bundle.json","state_url":"https://pith.science/pith/QPKOLZ326A5ZH7345DYINPB3YJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QPKOLZ326A5ZH7345DYINPB3YJ/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-16T14:48:42Z","links":{"resolver":"https://pith.science/pith/QPKOLZ326A5ZH7345DYINPB3YJ","bundle":"https://pith.science/pith/QPKOLZ326A5ZH7345DYINPB3YJ/bundle.json","state":"https://pith.science/pith/QPKOLZ326A5ZH7345DYINPB3YJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QPKOLZ326A5ZH7345DYINPB3YJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:QPKOLZ326A5ZH7345DYINPB3YJ","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":"96dc60b4cc8ec344d012a5e51c225b8dd985e3f8ead067d89dc5ad225c6c60f7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-08-16T09:24:45Z","title_canon_sha256":"6045df674c4512d187d4991283551678b32f2800831c5be69baf16c34cde9d89"},"schema_version":"1.0","source":{"id":"1908.05907","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.05907","created_at":"2026-07-04T23:57:54Z"},{"alias_kind":"arxiv_version","alias_value":"1908.05907v1","created_at":"2026-07-04T23:57:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.05907","created_at":"2026-07-04T23:57:54Z"},{"alias_kind":"pith_short_12","alias_value":"QPKOLZ326A5Z","created_at":"2026-07-04T23:57:54Z"},{"alias_kind":"pith_short_16","alias_value":"QPKOLZ326A5ZH734","created_at":"2026-07-04T23:57:54Z"},{"alias_kind":"pith_short_8","alias_value":"QPKOLZ32","created_at":"2026-07-04T23:57:54Z"}],"graph_snapshots":[{"event_id":"sha256:75d365f51367ef2a1922365a046631e7a35de156ad85ff80ee71348f946a574f","target":"graph","created_at":"2026-07-04T23:57:54Z","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/1908.05907/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is to reduce the number of fails in the resolution process, to improve the inferences made during search by the constraint solver by strengthening constraint propagation, and to maintain the level of propagation while reducing the cost of propagating the constraints. Our experimental results show improvements in terms of the resolution speed compared to the original CSPs and a compet","authors_text":"Ke Liu, Petra Hofstedt, Sven L\\\"offler","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-08-16T09:24:45Z","title":"The Regularization of Small Sub-Constraint Satisfaction Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.05907","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:a90016a147e4833b889b888f7740de25036708f8342cc91eec3b86ff6351e162","target":"record","created_at":"2026-07-04T23:57:54Z","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":"96dc60b4cc8ec344d012a5e51c225b8dd985e3f8ead067d89dc5ad225c6c60f7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-08-16T09:24:45Z","title_canon_sha256":"6045df674c4512d187d4991283551678b32f2800831c5be69baf16c34cde9d89"},"schema_version":"1.0","source":{"id":"1908.05907","kind":"arxiv","version":1}},"canonical_sha256":"83d4e5e77af03b93ff7ce8f086bc3bc250cba00145ccb38b5005778a77651da2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"83d4e5e77af03b93ff7ce8f086bc3bc250cba00145ccb38b5005778a77651da2","first_computed_at":"2026-07-04T23:57:54.282050Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T23:57:54.282050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TlF6z9e8/3zwcxqsIlekHp9mNPdXeLQKnlqy4jrm0m5QtLd+i6HBH0My7uU70W8lU8vcdI1N72ZekKkm7S8LBA==","signature_status":"signed_v1","signed_at":"2026-07-04T23:57:54.282463Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.05907","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a90016a147e4833b889b888f7740de25036708f8342cc91eec3b86ff6351e162","sha256:75d365f51367ef2a1922365a046631e7a35de156ad85ff80ee71348f946a574f"],"state_sha256":"8c94a0dac36d2c3858439e60b8b8424bd5f7c8e1e50a1324750042db69adad04"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eWB1Ju/9SIdCGDWwnNqV9dvcQgvOVRP1IJvRl3GLFtCT3660T+iBG8he3td+r/qgcpgVNLIJ2MAV26krYkKhCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T14:48:42.458770Z","bundle_sha256":"dc2aaf60fa172413f17014164e3c8570cdf4f63031ab6dcd1ebba1f83dd110a7"}}