{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:RLWCLIHO2NNMVQW4EW7JM2ZALE","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":"874b22dcff56a5b3634a70b15a627c1fb95ad60d47c3658090ef1958f5240f93","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-02-17T11:28:21Z","title_canon_sha256":"f0e11140c3be873599cc1317fd60f0007c108dc7754e20757bb00c698b7689d4"},"schema_version":"1.0","source":{"id":"1102.3563","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.3563","created_at":"2026-05-18T04:28:28Z"},{"alias_kind":"arxiv_version","alias_value":"1102.3563v1","created_at":"2026-05-18T04:28:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.3563","created_at":"2026-05-18T04:28:28Z"},{"alias_kind":"pith_short_12","alias_value":"RLWCLIHO2NNM","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_16","alias_value":"RLWCLIHO2NNMVQW4","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_8","alias_value":"RLWCLIHO","created_at":"2026-05-18T12:26:41Z"}],"graph_snapshots":[{"event_id":"sha256:dc703f6eeda343bbb85437dca4c51c999c2bf216d8b30be04dc231693d5a30c2","target":"graph","created_at":"2026-05-18T04:28:28Z","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 article we consider the inversion problem for polynomially computable discrete functions. These functions describe behavior of many discrete systems and are used in model checking, hardware verification, cryptanalysis, computer biology and other domains. Quite often it is necessary to invert these functions, i.e. to find an unknown preimage if an image and algorithm of function computation are given. In general case this problem is computationally intractable. However, many of it's special cases are very important in practical applications. Thus development of algorithms that are appli","authors_text":"Alexander Semenov, Dmitry Bespalov, Mikhail Posypkin, Oleg Zaikin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-02-17T11:28:21Z","title":"Parallel algorithms for SAT in application to inversion problems of some discrete functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.3563","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:5cdfb7978724bf5aca5fee858cb663a0534e7bda83f9658ada522f295e6f60f7","target":"record","created_at":"2026-05-18T04:28:28Z","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":"874b22dcff56a5b3634a70b15a627c1fb95ad60d47c3658090ef1958f5240f93","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-02-17T11:28:21Z","title_canon_sha256":"f0e11140c3be873599cc1317fd60f0007c108dc7754e20757bb00c698b7689d4"},"schema_version":"1.0","source":{"id":"1102.3563","kind":"arxiv","version":1}},"canonical_sha256":"8aec25a0eed35acac2dc25be966b205936510ad20c6a74ef1e5e576dbfa9c6b9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8aec25a0eed35acac2dc25be966b205936510ad20c6a74ef1e5e576dbfa9c6b9","first_computed_at":"2026-05-18T04:28:28.844088Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:28:28.844088Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h9rS9uFjZLUwPjQ9NvplFLwg73p6mmoSfMAOXRXMdwiPEDfQmPDX59Cu10QdiuhJaUUf1quhVWxug4kIL0x6Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:28:28.844505Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.3563","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5cdfb7978724bf5aca5fee858cb663a0534e7bda83f9658ada522f295e6f60f7","sha256:dc703f6eeda343bbb85437dca4c51c999c2bf216d8b30be04dc231693d5a30c2"],"state_sha256":"1ffed5e0882e476f4f8a7e96956b32313199940f7e307e5fc90aa5ac480f870c"}