pith. machine review for the scientific record. sign in
Pith Number

pith:O2VKPD6Q

pith:2011:O2VKPD6QDY5DZPHIMFTDJQSYDK
not attested not anchored not stored refs pending

On Problems as Hard as CNFSAT

Daniel Lokshtanov, Daniel Marx, Holger Dell, Jesper Nederlof, Magnus Wahlstrom, Marek Cygan, Ramamohan Paturi, Saket Saurabh, Yoshio Okamoto

arxiv:1112.2275 v3 · 2011-12-10 · cs.DS · cs.CC · cs.DM

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-18T00:17:55.801324Z
Builder pith-number-builder-2026-05-17-v1
Signature Pith Ed25519 (pith-v1-2026-05) · public key
Schema pith-number/v1.0

Canonical hash

76aaa78fd01e3a3cbce8616634c2581a941a7f752fb93fd681442eacdb0499e2

Aliases

arxiv: 1112.2275 · arxiv_version: 1112.2275v3 · doi: 10.48550/arxiv.1112.2275 · pith_short_12: O2VKPD6QDY5D · pith_short_16: O2VKPD6QDY5DZPHI · pith_short_8: O2VKPD6Q
Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/O2VKPD6QDY5DZPHIMFTDJQSYDK \
  | 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: 76aaa78fd01e3a3cbce8616634c2581a941a7f752fb93fd681442eacdb0499e2
Canonical record JSON
{
  "metadata": {
    "abstract_canon_sha256": "2b9c0be820c63a551cbf2767a93d9e341ffab1d9d2122ca3b46386ac9c645df6",
    "cross_cats_sorted": [
      "cs.CC",
      "cs.DM"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.DS",
    "submitted_at": "2011-12-10T13:19:33Z",
    "title_canon_sha256": "b8dd404e50cf7eed1c82bcecb47e62fbfcdc5b50f09662047ef59cbf54138642"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1112.2275",
    "kind": "arxiv",
    "version": 3
  }
}