{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:LY2OTR4M2SRTMJXCOGZ2YYADGP","short_pith_number":"pith:LY2OTR4M","canonical_record":{"source":{"id":"1504.00977","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-04-04T03:30:22Z","cross_cats_sorted":[],"title_canon_sha256":"5650df9c054107da270b9460f9653aaded41978c1276c5b4fc84eb1e6d13ed01","abstract_canon_sha256":"01aab7e5b4727b3103e210e7c9c194db8eb967c2e3a8037743d73d34158f9755"},"schema_version":"1.0"},"canonical_sha256":"5e34e9c78cd4a33626e271b3ac600333c5c1dd3aac4a5b2b2465f5c3956f2d2d","source":{"kind":"arxiv","id":"1504.00977","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.00977","created_at":"2026-05-18T01:48:06Z"},{"alias_kind":"arxiv_version","alias_value":"1504.00977v1","created_at":"2026-05-18T01:48:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.00977","created_at":"2026-05-18T01:48:06Z"},{"alias_kind":"pith_short_12","alias_value":"LY2OTR4M2SRT","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"LY2OTR4M2SRTMJXC","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"LY2OTR4M","created_at":"2026-05-18T12:29:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:LY2OTR4M2SRTMJXCOGZ2YYADGP","target":"record","payload":{"canonical_record":{"source":{"id":"1504.00977","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-04-04T03:30:22Z","cross_cats_sorted":[],"title_canon_sha256":"5650df9c054107da270b9460f9653aaded41978c1276c5b4fc84eb1e6d13ed01","abstract_canon_sha256":"01aab7e5b4727b3103e210e7c9c194db8eb967c2e3a8037743d73d34158f9755"},"schema_version":"1.0"},"canonical_sha256":"5e34e9c78cd4a33626e271b3ac600333c5c1dd3aac4a5b2b2465f5c3956f2d2d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:48:06.244705Z","signature_b64":"esMpIWICyW3nz1Cy2l4kTzLH2KIBIyy15NLf3aQWZtKY7+nK0A9/KmbxCGQ4/gX6Sw+rXM98125ZlqFV3l7oCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e34e9c78cd4a33626e271b3ac600333c5c1dd3aac4a5b2b2465f5c3956f2d2d","last_reissued_at":"2026-05-18T01:48:06.244095Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:48:06.244095Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.00977","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-18T01:48:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K5akoQDo3rmboqE5h4n/q82riWcIxD3jyMjWKll4DjSLPM0T4axffZxR2ovDFnFgayaecUHv+SUmNkWkU+MlDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T15:37:22.488224Z"},"content_sha256":"1b2de610bc50ed783f5a3603c72155b6850d6d1f8be33607e4fcc0bb4cacda6d","schema_version":"1.0","event_id":"sha256:1b2de610bc50ed783f5a3603c72155b6850d6d1f8be33607e4fcc0bb4cacda6d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:LY2OTR4M2SRTMJXCOGZ2YYADGP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Declaratively solving Google Code Jam problems with Picat","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Mariia Mykhailova, Sergii Dymchenko","submitted_at":"2015-04-04T03:30:22Z","abstract_excerpt":"In this paper we present several examples of solving algorithmic problems from the Google Code Jam programming contest with Picat programming language using declarative techniques: constraint logic programming and tabled logic programming. In some cases the use of Picat simplifies the implementation compared to conventional imperative programming languages, while in others it allows to directly convert the problem statement into an efficiently solvable declarative problem specification without inventing an imperative algorithm."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.00977","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-18T01:48:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"abfTsU2jRIRmf2b1TGTfK8SXRdtKGzlSX7lk6gLxC7Bxyr3cWOufQvThAFeLkJxI2C1HrYzTQS5bg85Ej3KNDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T15:37:22.488575Z"},"content_sha256":"6a915f3ca5efbb80de42abf6ab6cdbc7f6568031bf87adb3b92ff0d1e8417ada","schema_version":"1.0","event_id":"sha256:6a915f3ca5efbb80de42abf6ab6cdbc7f6568031bf87adb3b92ff0d1e8417ada"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LY2OTR4M2SRTMJXCOGZ2YYADGP/bundle.json","state_url":"https://pith.science/pith/LY2OTR4M2SRTMJXCOGZ2YYADGP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LY2OTR4M2SRTMJXCOGZ2YYADGP/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-06-29T15:37:22Z","links":{"resolver":"https://pith.science/pith/LY2OTR4M2SRTMJXCOGZ2YYADGP","bundle":"https://pith.science/pith/LY2OTR4M2SRTMJXCOGZ2YYADGP/bundle.json","state":"https://pith.science/pith/LY2OTR4M2SRTMJXCOGZ2YYADGP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LY2OTR4M2SRTMJXCOGZ2YYADGP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:LY2OTR4M2SRTMJXCOGZ2YYADGP","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":"01aab7e5b4727b3103e210e7c9c194db8eb967c2e3a8037743d73d34158f9755","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-04-04T03:30:22Z","title_canon_sha256":"5650df9c054107da270b9460f9653aaded41978c1276c5b4fc84eb1e6d13ed01"},"schema_version":"1.0","source":{"id":"1504.00977","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.00977","created_at":"2026-05-18T01:48:06Z"},{"alias_kind":"arxiv_version","alias_value":"1504.00977v1","created_at":"2026-05-18T01:48:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.00977","created_at":"2026-05-18T01:48:06Z"},{"alias_kind":"pith_short_12","alias_value":"LY2OTR4M2SRT","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"LY2OTR4M2SRTMJXC","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"LY2OTR4M","created_at":"2026-05-18T12:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:6a915f3ca5efbb80de42abf6ab6cdbc7f6568031bf87adb3b92ff0d1e8417ada","target":"graph","created_at":"2026-05-18T01:48:06Z","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":"In this paper we present several examples of solving algorithmic problems from the Google Code Jam programming contest with Picat programming language using declarative techniques: constraint logic programming and tabled logic programming. In some cases the use of Picat simplifies the implementation compared to conventional imperative programming languages, while in others it allows to directly convert the problem statement into an efficiently solvable declarative problem specification without inventing an imperative algorithm.","authors_text":"Mariia Mykhailova, Sergii Dymchenko","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-04-04T03:30:22Z","title":"Declaratively solving Google Code Jam problems with Picat"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.00977","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:1b2de610bc50ed783f5a3603c72155b6850d6d1f8be33607e4fcc0bb4cacda6d","target":"record","created_at":"2026-05-18T01:48:06Z","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":"01aab7e5b4727b3103e210e7c9c194db8eb967c2e3a8037743d73d34158f9755","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-04-04T03:30:22Z","title_canon_sha256":"5650df9c054107da270b9460f9653aaded41978c1276c5b4fc84eb1e6d13ed01"},"schema_version":"1.0","source":{"id":"1504.00977","kind":"arxiv","version":1}},"canonical_sha256":"5e34e9c78cd4a33626e271b3ac600333c5c1dd3aac4a5b2b2465f5c3956f2d2d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5e34e9c78cd4a33626e271b3ac600333c5c1dd3aac4a5b2b2465f5c3956f2d2d","first_computed_at":"2026-05-18T01:48:06.244095Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:48:06.244095Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"esMpIWICyW3nz1Cy2l4kTzLH2KIBIyy15NLf3aQWZtKY7+nK0A9/KmbxCGQ4/gX6Sw+rXM98125ZlqFV3l7oCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:48:06.244705Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.00977","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b2de610bc50ed783f5a3603c72155b6850d6d1f8be33607e4fcc0bb4cacda6d","sha256:6a915f3ca5efbb80de42abf6ab6cdbc7f6568031bf87adb3b92ff0d1e8417ada"],"state_sha256":"2bce1560407ecfb6048df9b280d55b1c63e6a6c889b0a526a0435d01b870d1dd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PgUdIOLb9lpPHIDipLMJ8pVId+fUZzrH5iay0ccAixAb+/WFL9LfTiP82mAzvkhNrhQqwKuXwzR98aUe4zvBAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T15:37:22.490338Z","bundle_sha256":"259f7177aef612e146716bf89031e8f1770ddf19325e25449e36df18bae66db8"}}