{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:DQ6BHNBR3RPDZOHPDFIJE2YGSH","short_pith_number":"pith:DQ6BHNBR","canonical_record":{"source":{"id":"1210.4861","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-16T17:38:34Z","cross_cats_sorted":[],"title_canon_sha256":"d091cfa5ee3cf05b7f293c13a095c81fe1ccbe508d9df091a4034a8484a732f1","abstract_canon_sha256":"c29aa1852185e67b9298083711c8f9b76bf749513e8017a48d3b804433bbfe16"},"schema_version":"1.0"},"canonical_sha256":"1c3c13b431dc5e3cb8ef1950926b0691c8bc9795f53db48c0e7efb54ceb52bf5","source":{"kind":"arxiv","id":"1210.4861","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.4861","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"arxiv_version","alias_value":"1210.4861v1","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.4861","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"pith_short_12","alias_value":"DQ6BHNBR3RPD","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"DQ6BHNBR3RPDZOHP","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"DQ6BHNBR","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:DQ6BHNBR3RPDZOHPDFIJE2YGSH","target":"record","payload":{"canonical_record":{"source":{"id":"1210.4861","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-16T17:38:34Z","cross_cats_sorted":[],"title_canon_sha256":"d091cfa5ee3cf05b7f293c13a095c81fe1ccbe508d9df091a4034a8484a732f1","abstract_canon_sha256":"c29aa1852185e67b9298083711c8f9b76bf749513e8017a48d3b804433bbfe16"},"schema_version":"1.0"},"canonical_sha256":"1c3c13b431dc5e3cb8ef1950926b0691c8bc9795f53db48c0e7efb54ceb52bf5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:42:55.393409Z","signature_b64":"1046wvBfoqJpF2F3WVWzhpUWN66GZ4GSH9qylCDtCPud5F4uZT8GM86TzBcJfSLhNz+AMIPo0vWYl78/4RhHDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1c3c13b431dc5e3cb8ef1950926b0691c8bc9795f53db48c0e7efb54ceb52bf5","last_reissued_at":"2026-05-18T03:42:55.392687Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:42:55.392687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.4861","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-18T03:42:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S/f7qAzJorZLlYECvMcTNoZqyZOQdefEVBmA7vVpYp7rYnZa6+uzE27qTbFfdIxt+mCPAh7J9EIA+mRu52qqCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T18:06:46.368341Z"},"content_sha256":"2c75a48b4d5bad1a904efd1e87aa9dc7528e6ce5f2af697bd1a3427c42a0c5ad","schema_version":"1.0","event_id":"sha256:2c75a48b4d5bad1a904efd1e87aa9dc7528e6ce5f2af697bd1a3427c42a0c5ad"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:DQ6BHNBR3RPDZOHPDFIJE2YGSH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Uniform Solution Sampling Using a Constraint Solver As an Oracle","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Bart Selman, Carla P. Gomes, Stefano Ermon","submitted_at":"2012-10-16T17:38:34Z","abstract_excerpt":"We consider the problem of sampling from solutions defined by a set of hard constraints on a combinatorial space. We propose a new sampling technique that, while enforcing a uniform exploration of the search space, leverages the reasoning power of a systematic constraint solver in a black-box scheme. We present a series of challenging domains, such as energy barriers and highly asymmetric spaces, that reveal the difficulties introduced by hard constraints. We demonstrate that standard approaches such as Simulated Annealing and Gibbs Sampling are greatly affected, while our new technique can ov"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.4861","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-18T03:42:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H6UfJW/MGxTseJnowtitjuND+3Gl8PurFfFBBy6MpQF1dTvRAygTTcn9E2s0mEWfHPTjiO/AGaV/4Z1pQcFRBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T18:06:46.368700Z"},"content_sha256":"3c0c844867e4ddfd2296971cb40fea00f40a09c7aca0e4a4bc338c21d352476e","schema_version":"1.0","event_id":"sha256:3c0c844867e4ddfd2296971cb40fea00f40a09c7aca0e4a4bc338c21d352476e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DQ6BHNBR3RPDZOHPDFIJE2YGSH/bundle.json","state_url":"https://pith.science/pith/DQ6BHNBR3RPDZOHPDFIJE2YGSH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DQ6BHNBR3RPDZOHPDFIJE2YGSH/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-02T18:06:46Z","links":{"resolver":"https://pith.science/pith/DQ6BHNBR3RPDZOHPDFIJE2YGSH","bundle":"https://pith.science/pith/DQ6BHNBR3RPDZOHPDFIJE2YGSH/bundle.json","state":"https://pith.science/pith/DQ6BHNBR3RPDZOHPDFIJE2YGSH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DQ6BHNBR3RPDZOHPDFIJE2YGSH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:DQ6BHNBR3RPDZOHPDFIJE2YGSH","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":"c29aa1852185e67b9298083711c8f9b76bf749513e8017a48d3b804433bbfe16","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-16T17:38:34Z","title_canon_sha256":"d091cfa5ee3cf05b7f293c13a095c81fe1ccbe508d9df091a4034a8484a732f1"},"schema_version":"1.0","source":{"id":"1210.4861","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.4861","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"arxiv_version","alias_value":"1210.4861v1","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.4861","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"pith_short_12","alias_value":"DQ6BHNBR3RPD","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"DQ6BHNBR3RPDZOHP","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"DQ6BHNBR","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:3c0c844867e4ddfd2296971cb40fea00f40a09c7aca0e4a4bc338c21d352476e","target":"graph","created_at":"2026-05-18T03:42:55Z","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 consider the problem of sampling from solutions defined by a set of hard constraints on a combinatorial space. We propose a new sampling technique that, while enforcing a uniform exploration of the search space, leverages the reasoning power of a systematic constraint solver in a black-box scheme. We present a series of challenging domains, such as energy barriers and highly asymmetric spaces, that reveal the difficulties introduced by hard constraints. We demonstrate that standard approaches such as Simulated Annealing and Gibbs Sampling are greatly affected, while our new technique can ov","authors_text":"Bart Selman, Carla P. Gomes, Stefano Ermon","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-16T17:38:34Z","title":"Uniform Solution Sampling Using a Constraint Solver As an Oracle"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.4861","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:2c75a48b4d5bad1a904efd1e87aa9dc7528e6ce5f2af697bd1a3427c42a0c5ad","target":"record","created_at":"2026-05-18T03:42:55Z","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":"c29aa1852185e67b9298083711c8f9b76bf749513e8017a48d3b804433bbfe16","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-16T17:38:34Z","title_canon_sha256":"d091cfa5ee3cf05b7f293c13a095c81fe1ccbe508d9df091a4034a8484a732f1"},"schema_version":"1.0","source":{"id":"1210.4861","kind":"arxiv","version":1}},"canonical_sha256":"1c3c13b431dc5e3cb8ef1950926b0691c8bc9795f53db48c0e7efb54ceb52bf5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1c3c13b431dc5e3cb8ef1950926b0691c8bc9795f53db48c0e7efb54ceb52bf5","first_computed_at":"2026-05-18T03:42:55.392687Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:42:55.392687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1046wvBfoqJpF2F3WVWzhpUWN66GZ4GSH9qylCDtCPud5F4uZT8GM86TzBcJfSLhNz+AMIPo0vWYl78/4RhHDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:42:55.393409Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.4861","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2c75a48b4d5bad1a904efd1e87aa9dc7528e6ce5f2af697bd1a3427c42a0c5ad","sha256:3c0c844867e4ddfd2296971cb40fea00f40a09c7aca0e4a4bc338c21d352476e"],"state_sha256":"c1b0b3fb51eb1fd4163f247489bf5ddf0c4c1ed3c00850ac0fd526edb2790142"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9MxV4DzUXNVaUA++oD90bcPkZduLYWbzon+b2L0pjWlXPkd7TnX3E4YwUAlZ7i6j9WO5sgYoshHyDGRJ6nmmDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T18:06:46.370869Z","bundle_sha256":"ca63009fff58f1f2932cb9bc68012e5b35d9e6a1c9bb615a5b41b5b0ddeabdf1"}}