{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:BP6EB4FR4GJWPBL222FTITA3T2","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":"14cf435740efc53ed353e6af96ee8d28ccb6188d733c7507fa65e5384f0c0cf4","cross_cats_sorted":["cond-mat.dis-nn","cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cond-mat.stat-mech","submitted_at":"2004-08-09T21:54:07Z","title_canon_sha256":"8c5a4964594f5620f908fc9d233161dc178fc02d23cf89df7df228213c82c784"},"schema_version":"1.0","source":{"id":"cond-mat/0408190","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cond-mat/0408190","created_at":"2026-05-18T03:42:54Z"},{"alias_kind":"arxiv_version","alias_value":"cond-mat/0408190v2","created_at":"2026-05-18T03:42:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cond-mat/0408190","created_at":"2026-05-18T03:42:54Z"},{"alias_kind":"pith_short_12","alias_value":"BP6EB4FR4GJW","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"BP6EB4FR4GJWPBL2","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"BP6EB4FR","created_at":"2026-05-18T12:25:52Z"}],"graph_snapshots":[{"event_id":"sha256:59708abf736ff84a2d1effd3dea55f9275c192583f3539356eeda43b1892eae3","target":"graph","created_at":"2026-05-18T03:42: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"},"paper":{"abstract_excerpt":"We introduce a highly structured family of hard satisfiable 3-SAT formulas corresponding to an ordered spin-glass model from statistical physics. This model has provably \"glassy\" behavior; that is, it has many local optima with large energy barriers between them, so that local search algorithms get stuck and have difficulty finding the true ground state, i.e., the unique satisfying assignment. We test the hardness of our formulas with two Davis-Putnam solvers, Satz and zChaff, the recently introduced Survey Propagation (SP), and two local search algorithms, Walksat and Record-to-Record Travel ","authors_text":"Bart Selman, Cristopher Moore, Haixia Jia","cross_cats":["cond-mat.dis-nn","cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cond-mat.stat-mech","submitted_at":"2004-08-09T21:54:07Z","title":"From spin glasses to hard satisfiable formulas"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cond-mat/0408190","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:7dc4db9b0f264b100bba20447c34dea2401375a76b826b96d5664b641e0e3015","target":"record","created_at":"2026-05-18T03:42: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":"14cf435740efc53ed353e6af96ee8d28ccb6188d733c7507fa65e5384f0c0cf4","cross_cats_sorted":["cond-mat.dis-nn","cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cond-mat.stat-mech","submitted_at":"2004-08-09T21:54:07Z","title_canon_sha256":"8c5a4964594f5620f908fc9d233161dc178fc02d23cf89df7df228213c82c784"},"schema_version":"1.0","source":{"id":"cond-mat/0408190","kind":"arxiv","version":2}},"canonical_sha256":"0bfc40f0b1e19367857ad68b344c1b9ebdd6767615d4769e35bce1665f2eea94","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0bfc40f0b1e19367857ad68b344c1b9ebdd6767615d4769e35bce1665f2eea94","first_computed_at":"2026-05-18T03:42:54.270554Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:42:54.270554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S253dKMai2S+a1qiq8i3TwfAgnqmmPvxGnm2OBBKYdzUL//SC7I9G+NEikTwWNN+r/xRRufs/MgFx/u6ssw0AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:42:54.271108Z","signed_message":"canonical_sha256_bytes"},"source_id":"cond-mat/0408190","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7dc4db9b0f264b100bba20447c34dea2401375a76b826b96d5664b641e0e3015","sha256:59708abf736ff84a2d1effd3dea55f9275c192583f3539356eeda43b1892eae3"],"state_sha256":"873d485b46ffe84ca5301bb60f5dcb80806f8f60f1dca4e6db164567a50bce4d"}