{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:WHJSIMGIYKO56MMONMV3T6355D","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":"a1777c14b08e35fc1e9a6e1c962c228cc0b91a0f6998a77cbf2fd8d900e08520","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-08-18T18:17:38Z","title_canon_sha256":"e26dc10da6e97760b8c50a1cea0b866585efd21838da001238babb11122cb889"},"schema_version":"1.0","source":{"id":"1608.05358","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05358","created_at":"2026-05-17T23:42:09Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05358v2","created_at":"2026-05-17T23:42:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05358","created_at":"2026-05-17T23:42:09Z"},{"alias_kind":"pith_short_12","alias_value":"WHJSIMGIYKO5","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"WHJSIMGIYKO56MMO","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"WHJSIMGI","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:8a2ffd7af6e75ad887aa21dc56da95806b591775777f129011e1198505324e11","target":"graph","created_at":"2026-05-17T23:42:09Z","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":"The binary Constraint Satisfaction Problem (CSP) is to decide whether there exists an assignment to a set of variables which satisfies specified constraints between pairs of variables. A binary CSP instance can be presented as a labelled graph encoding both the forms of the constraints and where they are imposed. We consider subproblems defined by restricting the allowed form of this graph. One type of restriction that has previously been considered is to forbid certain specified substructures (patterns). This captures some tractable classes of the CSP, but does not capture classes defined by ","authors_text":"David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-08-18T18:17:38Z","title":"Binary Constraint Satisfaction Problems Defined by Excluded Topological Minors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05358","kind":"arxiv","version":2},"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:108323ed9104f66937533e69baddcc435f010fae323f47ada0f4cbcdcdcde5a7","target":"record","created_at":"2026-05-17T23:42:09Z","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":"a1777c14b08e35fc1e9a6e1c962c228cc0b91a0f6998a77cbf2fd8d900e08520","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-08-18T18:17:38Z","title_canon_sha256":"e26dc10da6e97760b8c50a1cea0b866585efd21838da001238babb11122cb889"},"schema_version":"1.0","source":{"id":"1608.05358","kind":"arxiv","version":2}},"canonical_sha256":"b1d32430c8c29ddf318e6b2bb9fb7de8ca602e3f0f102983a94e42915922f289","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b1d32430c8c29ddf318e6b2bb9fb7de8ca602e3f0f102983a94e42915922f289","first_computed_at":"2026-05-17T23:42:09.108932Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:09.108932Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4MC7+TZl5iZBQzAMARYP1tgK6yB3vi8jP7zm8cphFHx3kFJAAQgn9IdHEhphDpeZRioP09y6qK5XIQO+T0TvAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:09.109564Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.05358","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:108323ed9104f66937533e69baddcc435f010fae323f47ada0f4cbcdcdcde5a7","sha256:8a2ffd7af6e75ad887aa21dc56da95806b591775777f129011e1198505324e11"],"state_sha256":"c65617e0e6e272187c66f6d991a2890f4961f9ce9ca20d22ea07ed033af023e0"}