{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:H5SBE3UAWKULTDG73BGPECILB7","short_pith_number":"pith:H5SBE3UA","canonical_record":{"source":{"id":"1906.00715","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-06-03T11:32:34Z","cross_cats_sorted":["cs.LO","cs.PL","cs.SE"],"title_canon_sha256":"9ed9ba04431ed5b3bf73d51b42a179b1e7afa9d8965bf94e6a44d125f19bc007","abstract_canon_sha256":"a6ccd66f18604c112392fe1a7b5ed9c02f20de59888f790d2d7a072915f8e54e"},"schema_version":"1.0"},"canonical_sha256":"3f64126e80b2a8b98cdfd84cf2090b0fcf76a2a895803228ca9762bec62763cd","source":{"kind":"arxiv","id":"1906.00715","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.00715","created_at":"2026-05-17T23:44:24Z"},{"alias_kind":"arxiv_version","alias_value":"1906.00715v1","created_at":"2026-05-17T23:44:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.00715","created_at":"2026-05-17T23:44:24Z"},{"alias_kind":"pith_short_12","alias_value":"H5SBE3UAWKUL","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"H5SBE3UAWKULTDG7","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"H5SBE3UA","created_at":"2026-05-18T12:33:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:H5SBE3UAWKULTDG73BGPECILB7","target":"record","payload":{"canonical_record":{"source":{"id":"1906.00715","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-06-03T11:32:34Z","cross_cats_sorted":["cs.LO","cs.PL","cs.SE"],"title_canon_sha256":"9ed9ba04431ed5b3bf73d51b42a179b1e7afa9d8965bf94e6a44d125f19bc007","abstract_canon_sha256":"a6ccd66f18604c112392fe1a7b5ed9c02f20de59888f790d2d7a072915f8e54e"},"schema_version":"1.0"},"canonical_sha256":"3f64126e80b2a8b98cdfd84cf2090b0fcf76a2a895803228ca9762bec62763cd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:24.095022Z","signature_b64":"Tq8U7ODBpA2GAz0jtmhRnNby1xud7EU000hErbXJsfrBqahvM51ObsTUSAi0FQsM5d/966TMrJmJShosIum1Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3f64126e80b2a8b98cdfd84cf2090b0fcf76a2a895803228ca9762bec62763cd","last_reissued_at":"2026-05-17T23:44:24.094381Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:24.094381Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.00715","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:44:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VNYs8UBiXHwVdZalSIyTucoK8PCZvVnxdUN+vhAmnTlOFZUaAETMaS8IUH6DRzMpAEbHmMgZdwHf5pRzQ08ZDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:16:35.355098Z"},"content_sha256":"915218f6f8c4196c050b013f953fc6933f27f2276d9c4fc0f21c5e8ea2e53e56","schema_version":"1.0","event_id":"sha256:915218f6f8c4196c050b013f953fc6933f27f2276d9c4fc0f21c5e8ea2e53e56"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:H5SBE3UAWKULTDG73BGPECILB7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Modelling the Avoidability of Patterns as CSP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.PL","cs.SE"],"primary_cat":"cs.FL","authors_text":"Dirk Nowotka, Florin Manea, Kamellia Reshadi, Thorsten Ehlers","submitted_at":"2019-06-03T11:32:34Z","abstract_excerpt":"Solving avoidability problems in the area of string combinatorics often requires, in an initial step, the construction, via a computer program, of a very long word that does not contain any word that matches a given pattern. It is well known that this is a computationally hard task. Despite being rather straightforward that, ultimately, all such tasks can be formalized as constraints satisfaction problems, no unified approach to solving them was proposed so far, and very diverse ad-hoc methods were used. We aim to fill this gap: we show how several relevant avoidability problems can be modelle"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.00715","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:44:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mNynKwHLrxDTf4r6PhJf6i68uwSjR4OHFbgRG3GcoO5FcRLgIt5QK5Z9eFAK/z2OIZdnPNjxHoNzhZuuJ6RxDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:16:35.355777Z"},"content_sha256":"e3b52a28dda01aa6e6fff96c783e030b6bb0cb47f8d003154f54c1c2d4cb984c","schema_version":"1.0","event_id":"sha256:e3b52a28dda01aa6e6fff96c783e030b6bb0cb47f8d003154f54c1c2d4cb984c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H5SBE3UAWKULTDG73BGPECILB7/bundle.json","state_url":"https://pith.science/pith/H5SBE3UAWKULTDG73BGPECILB7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H5SBE3UAWKULTDG73BGPECILB7/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-27T19:16:35Z","links":{"resolver":"https://pith.science/pith/H5SBE3UAWKULTDG73BGPECILB7","bundle":"https://pith.science/pith/H5SBE3UAWKULTDG73BGPECILB7/bundle.json","state":"https://pith.science/pith/H5SBE3UAWKULTDG73BGPECILB7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H5SBE3UAWKULTDG73BGPECILB7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:H5SBE3UAWKULTDG73BGPECILB7","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":"a6ccd66f18604c112392fe1a7b5ed9c02f20de59888f790d2d7a072915f8e54e","cross_cats_sorted":["cs.LO","cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-06-03T11:32:34Z","title_canon_sha256":"9ed9ba04431ed5b3bf73d51b42a179b1e7afa9d8965bf94e6a44d125f19bc007"},"schema_version":"1.0","source":{"id":"1906.00715","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.00715","created_at":"2026-05-17T23:44:24Z"},{"alias_kind":"arxiv_version","alias_value":"1906.00715v1","created_at":"2026-05-17T23:44:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.00715","created_at":"2026-05-17T23:44:24Z"},{"alias_kind":"pith_short_12","alias_value":"H5SBE3UAWKUL","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"H5SBE3UAWKULTDG7","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"H5SBE3UA","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:e3b52a28dda01aa6e6fff96c783e030b6bb0cb47f8d003154f54c1c2d4cb984c","target":"graph","created_at":"2026-05-17T23:44:24Z","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":"Solving avoidability problems in the area of string combinatorics often requires, in an initial step, the construction, via a computer program, of a very long word that does not contain any word that matches a given pattern. It is well known that this is a computationally hard task. Despite being rather straightforward that, ultimately, all such tasks can be formalized as constraints satisfaction problems, no unified approach to solving them was proposed so far, and very diverse ad-hoc methods were used. We aim to fill this gap: we show how several relevant avoidability problems can be modelle","authors_text":"Dirk Nowotka, Florin Manea, Kamellia Reshadi, Thorsten Ehlers","cross_cats":["cs.LO","cs.PL","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-06-03T11:32:34Z","title":"On Modelling the Avoidability of Patterns as CSP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.00715","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:915218f6f8c4196c050b013f953fc6933f27f2276d9c4fc0f21c5e8ea2e53e56","target":"record","created_at":"2026-05-17T23:44:24Z","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":"a6ccd66f18604c112392fe1a7b5ed9c02f20de59888f790d2d7a072915f8e54e","cross_cats_sorted":["cs.LO","cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-06-03T11:32:34Z","title_canon_sha256":"9ed9ba04431ed5b3bf73d51b42a179b1e7afa9d8965bf94e6a44d125f19bc007"},"schema_version":"1.0","source":{"id":"1906.00715","kind":"arxiv","version":1}},"canonical_sha256":"3f64126e80b2a8b98cdfd84cf2090b0fcf76a2a895803228ca9762bec62763cd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3f64126e80b2a8b98cdfd84cf2090b0fcf76a2a895803228ca9762bec62763cd","first_computed_at":"2026-05-17T23:44:24.094381Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:24.094381Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Tq8U7ODBpA2GAz0jtmhRnNby1xud7EU000hErbXJsfrBqahvM51ObsTUSAi0FQsM5d/966TMrJmJShosIum1Ag==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:24.095022Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.00715","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:915218f6f8c4196c050b013f953fc6933f27f2276d9c4fc0f21c5e8ea2e53e56","sha256:e3b52a28dda01aa6e6fff96c783e030b6bb0cb47f8d003154f54c1c2d4cb984c"],"state_sha256":"9b29dc0206d86f9487f2d30f0a742b9487de623f0b47b63f61672bfff00e081a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gjUFVluzW8Em7+HDh1PrcvQICbhOI/T2yPoKf0lkR/xjZ9caI0F6dUQP48FqrIKV3GAPM957jyxjD02/bBOHDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T19:16:35.359000Z","bundle_sha256":"378f87a74ef4164ac66f0f295fe99290db8af8902e253814534acfce17f7375b"}}