{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:HBTLMEICAEOPVQEY4VZRNGRGRV","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":"c4a512f11a12e321286ce09bf8972fa93a0d70405286db6df5f6675e98fe54a2","cross_cats_sorted":["cs.CC","physics.ins-det"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2016-06-22T09:30:59Z","title_canon_sha256":"247894b6c695aab1b3845563750f0d3b11df3805c527f3ed7732f6ae1c873530"},"schema_version":"1.0","source":{"id":"1606.07467","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.07467","created_at":"2026-05-18T00:23:57Z"},{"alias_kind":"arxiv_version","alias_value":"1606.07467v3","created_at":"2026-05-18T00:23:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.07467","created_at":"2026-05-18T00:23:57Z"},{"alias_kind":"pith_short_12","alias_value":"HBTLMEICAEOP","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"HBTLMEICAEOPVQEY","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"HBTLMEIC","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:c597626b46104026aa43908d347cabb03019fa63f4d0f026179bc6b0f67e51d5","target":"graph","created_at":"2026-05-18T00:23:57Z","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":"Efficient solutions to NP-complete problems would significantly benefit both science and industry. However, such problems are intractable on digital computers based on the von Neumann architecture, thus creating the need for alternative solutions to tackle such problems. Recently, a deterministic, continuous-time dynamical system (CTDS) was proposed (Nat.Phys. {\\bf 7}(12), 966 (2011)) to solve a representative NP-complete problem, Boolean Satisfiability (SAT). This solver shows polynomial analog time-complexity on even the hardest benchmark $k$-SAT ($k \\geq 3$) formulas, but at an energy cost ","authors_text":"Behnam Sedighi, Maria Ercsey-Ravasz, Melinda Varga, Xiaobo Sharon Hu, Xunzhao Yin, Zoltan Toroczkai","cross_cats":["cs.CC","physics.ins-det"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2016-06-22T09:30:59Z","title":"Efficient Analog Circuits for Boolean Satisfiability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.07467","kind":"arxiv","version":3},"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:408c4081187fa356ad28fbe0e1e1d55a9ee1e7121fae73212e5cc1339a29cc82","target":"record","created_at":"2026-05-18T00:23:57Z","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":"c4a512f11a12e321286ce09bf8972fa93a0d70405286db6df5f6675e98fe54a2","cross_cats_sorted":["cs.CC","physics.ins-det"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2016-06-22T09:30:59Z","title_canon_sha256":"247894b6c695aab1b3845563750f0d3b11df3805c527f3ed7732f6ae1c873530"},"schema_version":"1.0","source":{"id":"1606.07467","kind":"arxiv","version":3}},"canonical_sha256":"3866b61102011cfac098e573169a268d534224d4b0a1358a377596679a1e34ae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3866b61102011cfac098e573169a268d534224d4b0a1358a377596679a1e34ae","first_computed_at":"2026-05-18T00:23:57.147187Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:23:57.147187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eK4drpKgz+N42p/eDRHLSdpFTWhiB1JrefoA5+aEhrozxIogDrgbHCzC+B68kLgSqLPm6urLW4P6SaOjoYreDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:23:57.147794Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.07467","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:408c4081187fa356ad28fbe0e1e1d55a9ee1e7121fae73212e5cc1339a29cc82","sha256:c597626b46104026aa43908d347cabb03019fa63f4d0f026179bc6b0f67e51d5"],"state_sha256":"cd28bb720abe16ce0f6d33cb747f17d986cc3d362462edd2cdf68b90de0a11fd"}