pith. sign in
Pith Number

pith:C5VWNWW2

pith:2017:C5VWNWW255YTVLJNVJUDZYRVEH
not attested not anchored not stored refs pending

Phase Transitions of the Typical Algorithmic Complexity of the Random Satisfiability Problem Studied with Linear Programming

Alexander K. Hartmann, Hendrik Schawe, Roman Bleim

arxiv:1702.02821 v2 · 2017-02-09 · cond-mat.dis-nn · cond-mat.stat-mech · cs.AI · cs.CC

Add to your LaTeX paper
\usepackage{pith}
\pithnumber{C5VWNWW255YTVLJNVJUDZYRVEH}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp
2 Internet Archive
3 Author claim open · sign in to claim
4 Citations open
5 Replications open
Portable graph bundle live · download bundle · merged state
The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.
Receipt and verification
First computed 2026-05-17T23:41:01.576128Z
Builder pith-number-builder-2026-05-17-v1
Signature Pith Ed25519 (pith-v1-2026-05) · public key
Schema pith-number/v1.0

Canonical hash

176b66dadaef713aad2daa683ce23521fe272a2cbd5d066751ac2b2b884fb687

Aliases

arxiv: 1702.02821 · arxiv_version: 1702.02821v2 · doi: 10.48550/arxiv.1702.02821 · pith_short_12: C5VWNWW255YT · pith_short_16: C5VWNWW255YTVLJN · pith_short_8: C5VWNWW2
Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/C5VWNWW255YTVLJNVJUDZYRVEH \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 176b66dadaef713aad2daa683ce23521fe272a2cbd5d066751ac2b2b884fb687
Canonical record JSON
{
  "metadata": {
    "abstract_canon_sha256": "14f0047ae9e215868afa7e8dcf5a506f2947f0d8867cf1e53fcc6e2f8a382ba7",
    "cross_cats_sorted": [
      "cond-mat.stat-mech",
      "cs.AI",
      "cs.CC"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cond-mat.dis-nn",
    "submitted_at": "2017-02-09T13:18:08Z",
    "title_canon_sha256": "2a57c1a5eb7254385831190ec16f97558c9c0c35650eca0a0ffca8b4b196a066"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1702.02821",
    "kind": "arxiv",
    "version": 2
  }
}