{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:HWVBLAQ2XLOA7ZNLQC6K3Y6HHD","short_pith_number":"pith:HWVBLAQ2","canonical_record":{"source":{"id":"cs/0509032","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2005-09-12T13:30:16Z","cross_cats_sorted":["cond-mat.stat-mech","cs.CC"],"title_canon_sha256":"7ec19464f325f6aeb165e263c87a4c35431693fa59973f71b5cecd843a212a77","abstract_canon_sha256":"086c61a3f6039b97615a49f8a1089a485abefab3646948674241e4c78c0e87e6"},"schema_version":"1.0"},"canonical_sha256":"3daa15821abadc0fe5ab80bcade3c738c083dc32d06c98a59dbf876fd7f11f96","source":{"kind":"arxiv","id":"cs/0509032","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0509032","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0509032v1","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0509032","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"pith_short_12","alias_value":"HWVBLAQ2XLOA","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"HWVBLAQ2XLOA7ZNL","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"HWVBLAQ2","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:HWVBLAQ2XLOA7ZNLQC6K3Y6HHD","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0509032","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2005-09-12T13:30:16Z","cross_cats_sorted":["cond-mat.stat-mech","cs.CC"],"title_canon_sha256":"7ec19464f325f6aeb165e263c87a4c35431693fa59973f71b5cecd843a212a77","abstract_canon_sha256":"086c61a3f6039b97615a49f8a1089a485abefab3646948674241e4c78c0e87e6"},"schema_version":"1.0"},"canonical_sha256":"3daa15821abadc0fe5ab80bcade3c738c083dc32d06c98a59dbf876fd7f11f96","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:06:49.052907Z","signature_b64":"cPy5o2UnKU23S+sxR8wjBFWuafvYvBOEb4IIJAP7KIbhzJJeJ40So+6KqNcVBt1BjbiRCKVLFwTzDg9xvipVCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3daa15821abadc0fe5ab80bcade3c738c083dc32d06c98a59dbf876fd7f11f96","last_reissued_at":"2026-05-18T01:06:49.052355Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:06:49.052355Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0509032","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-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":"235w/fz6GgPnRACBpCIweRpYDYnEUTU5ClGVv2i43RiZampJ8pht2SaY50emye6RxXXAewxJKcQYe4tomeiVAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:05:54.860347Z"},"content_sha256":"5b992ba2c5a700a64d9e3708378452858d3ea3479f47ac64a791d944961304d4","schema_version":"1.0","event_id":"sha256:5b992ba2c5a700a64d9e3708378452858d3ea3479f47ac64a791d944961304d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:HWVBLAQ2XLOA7ZNLQC6K3Y6HHD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Simple Model to Generate Hard Satisfiable Instances","license":"","headline":"","cross_cats":["cond-mat.stat-mech","cs.CC"],"primary_cat":"cs.AI","authors_text":"Christophe Lecoutre, Frederic Boussemart, Fred Hemery, Ke Xu","submitted_at":"2005-09-12T13:30:16Z","abstract_excerpt":"In this paper, we try to further demonstrate that the models of random CSP instances proposed by [Xu and Li, 2000; 2003] are of theoretical and practical interest. Indeed, these models, called RB and RD, present several nice features. First, it is quite easy to generate random instances of any arity since no particular structure has to be integrated, or property enforced, in such instances. Then, the existence of an asymptotic phase transition can be guaranteed while applying a limited restriction on domain size and on constraint tightness. In that case, a threshold point can be precisely loca"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0509032","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-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":"jrLNjstyVbqesrEP06yjpRXMI+pL/mrAoCWJA0g0CiQt+Bl7rXvxpAktPljKPHVFVlWHT134MBA0jaOOvq64Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:05:54.860812Z"},"content_sha256":"d95bbab368d451edacf7d77823c17137ee083337847e7d1e45850bd79bbcb00d","schema_version":"1.0","event_id":"sha256:d95bbab368d451edacf7d77823c17137ee083337847e7d1e45850bd79bbcb00d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HWVBLAQ2XLOA7ZNLQC6K3Y6HHD/bundle.json","state_url":"https://pith.science/pith/HWVBLAQ2XLOA7ZNLQC6K3Y6HHD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HWVBLAQ2XLOA7ZNLQC6K3Y6HHD/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-10T11:05:54Z","links":{"resolver":"https://pith.science/pith/HWVBLAQ2XLOA7ZNLQC6K3Y6HHD","bundle":"https://pith.science/pith/HWVBLAQ2XLOA7ZNLQC6K3Y6HHD/bundle.json","state":"https://pith.science/pith/HWVBLAQ2XLOA7ZNLQC6K3Y6HHD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HWVBLAQ2XLOA7ZNLQC6K3Y6HHD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:HWVBLAQ2XLOA7ZNLQC6K3Y6HHD","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":"086c61a3f6039b97615a49f8a1089a485abefab3646948674241e4c78c0e87e6","cross_cats_sorted":["cond-mat.stat-mech","cs.CC"],"license":"","primary_cat":"cs.AI","submitted_at":"2005-09-12T13:30:16Z","title_canon_sha256":"7ec19464f325f6aeb165e263c87a4c35431693fa59973f71b5cecd843a212a77"},"schema_version":"1.0","source":{"id":"cs/0509032","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0509032","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0509032v1","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0509032","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"pith_short_12","alias_value":"HWVBLAQ2XLOA","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"HWVBLAQ2XLOA7ZNL","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"HWVBLAQ2","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:d95bbab368d451edacf7d77823c17137ee083337847e7d1e45850bd79bbcb00d","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":"In this paper, we try to further demonstrate that the models of random CSP instances proposed by [Xu and Li, 2000; 2003] are of theoretical and practical interest. Indeed, these models, called RB and RD, present several nice features. First, it is quite easy to generate random instances of any arity since no particular structure has to be integrated, or property enforced, in such instances. Then, the existence of an asymptotic phase transition can be guaranteed while applying a limited restriction on domain size and on constraint tightness. In that case, a threshold point can be precisely loca","authors_text":"Christophe Lecoutre, Frederic Boussemart, Fred Hemery, Ke Xu","cross_cats":["cond-mat.stat-mech","cs.CC"],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"2005-09-12T13:30:16Z","title":"A Simple Model to Generate Hard Satisfiable Instances"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0509032","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:5b992ba2c5a700a64d9e3708378452858d3ea3479f47ac64a791d944961304d4","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":"086c61a3f6039b97615a49f8a1089a485abefab3646948674241e4c78c0e87e6","cross_cats_sorted":["cond-mat.stat-mech","cs.CC"],"license":"","primary_cat":"cs.AI","submitted_at":"2005-09-12T13:30:16Z","title_canon_sha256":"7ec19464f325f6aeb165e263c87a4c35431693fa59973f71b5cecd843a212a77"},"schema_version":"1.0","source":{"id":"cs/0509032","kind":"arxiv","version":1}},"canonical_sha256":"3daa15821abadc0fe5ab80bcade3c738c083dc32d06c98a59dbf876fd7f11f96","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3daa15821abadc0fe5ab80bcade3c738c083dc32d06c98a59dbf876fd7f11f96","first_computed_at":"2026-05-18T01:06:49.052355Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:06:49.052355Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cPy5o2UnKU23S+sxR8wjBFWuafvYvBOEb4IIJAP7KIbhzJJeJ40So+6KqNcVBt1BjbiRCKVLFwTzDg9xvipVCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:06:49.052907Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0509032","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5b992ba2c5a700a64d9e3708378452858d3ea3479f47ac64a791d944961304d4","sha256:d95bbab368d451edacf7d77823c17137ee083337847e7d1e45850bd79bbcb00d"],"state_sha256":"7cc581f600290ee03670f0b9ca67f76dddfdab8461ae95ad76843d17fabb0d09"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oRN6i4vLEn2ZpAtxSSLTFQPZ0X49waLiXLKITFjQBCjrCuOH5fu54AXFT7UcP39hvHPs0+Ge7MRomyo59TWZBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T11:05:54.864180Z","bundle_sha256":"1534ebfdf77280747c8e72f4081eff8cfe475e428def60c3802062ae10cab410"}}