{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:U2JPWOZNFUNZVPGP3F4LV3UKMQ","short_pith_number":"pith:U2JPWOZN","canonical_record":{"source":{"id":"1204.6080","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-04-26T23:25:43Z","cross_cats_sorted":[],"title_canon_sha256":"62aabe232dd5abe849bcdb727eb05ace55130a3c2d0cf6c93c9525175dc2e931","abstract_canon_sha256":"79b44e367582783c01d08d92432b0c792e6d508641513c296f2f31feba7edf5e"},"schema_version":"1.0"},"canonical_sha256":"a692fb3b2d2d1b9abccfd978baee8a640bc8e89df900810ca6f841e24d45c8a1","source":{"kind":"arxiv","id":"1204.6080","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.6080","created_at":"2026-05-18T03:56:47Z"},{"alias_kind":"arxiv_version","alias_value":"1204.6080v1","created_at":"2026-05-18T03:56:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.6080","created_at":"2026-05-18T03:56:47Z"},{"alias_kind":"pith_short_12","alias_value":"U2JPWOZNFUNZ","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"U2JPWOZNFUNZVPGP","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"U2JPWOZN","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:U2JPWOZNFUNZVPGP3F4LV3UKMQ","target":"record","payload":{"canonical_record":{"source":{"id":"1204.6080","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-04-26T23:25:43Z","cross_cats_sorted":[],"title_canon_sha256":"62aabe232dd5abe849bcdb727eb05ace55130a3c2d0cf6c93c9525175dc2e931","abstract_canon_sha256":"79b44e367582783c01d08d92432b0c792e6d508641513c296f2f31feba7edf5e"},"schema_version":"1.0"},"canonical_sha256":"a692fb3b2d2d1b9abccfd978baee8a640bc8e89df900810ca6f841e24d45c8a1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:56:47.105614Z","signature_b64":"tgqCj9zUGnAxf8q7BvKnX8pEWRTjMzb5NH2hvlLo0HzHmLqOnP+m7UHv8KQ64tjoBX772xvtU+UGF1jeS46YAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a692fb3b2d2d1b9abccfd978baee8a640bc8e89df900810ca6f841e24d45c8a1","last_reissued_at":"2026-05-18T03:56:47.104776Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:56:47.104776Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1204.6080","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-18T03:56:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ddtuZwnQ7h21HOsY6JQpl2uWacLGiqfmv3SRkVe1/7H5XKtpSJG3LJ9uKd+p1x6gIneUhiG4cGqVcJLbvJT7Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T05:03:52.629485Z"},"content_sha256":"06dff8e606172cde65830cbbd9da26879f39f8dce521d51028a375cba91f0d7e","schema_version":"1.0","event_id":"sha256:06dff8e606172cde65830cbbd9da26879f39f8dce521d51028a375cba91f0d7e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:U2JPWOZNFUNZVPGP3F4LV3UKMQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Cologne: A Declarative Distributed Constraint Optimization Platform","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Boon Thau Loo, Changbin Liu, Lu Ren, Prithwish Basu, Yun Mao","submitted_at":"2012-04-26T23:25:43Z","abstract_excerpt":"This paper presents Cologne, a declarative optimization platform that enables constraint optimization problems (COPs) to be declaratively specified and incrementally executed in distributed systems. Cologne integrates a declarative networking engine with an off-the-shelf constraint solver. We have developed the Colog language that combines distributed Datalog used in declarative networking with language constructs for specifying goals and constraints used in COPs. Cologne uses novel query processing strategies for processing Colog programs, by combining the use of bottom-up distributed Datalog"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.6080","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-18T03:56:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lnt/Bo5nxQHo/TbFS6xlcVB74VW2PBXwXOrWCh+BWOq/AM1BG5EELIjB24zDNCJoBRvsdeIDcbzQUB60IYEnAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T05:03:52.630149Z"},"content_sha256":"e40bc7f0fecd060f5977bb1d195fa0e3dfa82b897e356a5e7f36aa41494b966d","schema_version":"1.0","event_id":"sha256:e40bc7f0fecd060f5977bb1d195fa0e3dfa82b897e356a5e7f36aa41494b966d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U2JPWOZNFUNZVPGP3F4LV3UKMQ/bundle.json","state_url":"https://pith.science/pith/U2JPWOZNFUNZVPGP3F4LV3UKMQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U2JPWOZNFUNZVPGP3F4LV3UKMQ/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-08T05:03:52Z","links":{"resolver":"https://pith.science/pith/U2JPWOZNFUNZVPGP3F4LV3UKMQ","bundle":"https://pith.science/pith/U2JPWOZNFUNZVPGP3F4LV3UKMQ/bundle.json","state":"https://pith.science/pith/U2JPWOZNFUNZVPGP3F4LV3UKMQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U2JPWOZNFUNZVPGP3F4LV3UKMQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:U2JPWOZNFUNZVPGP3F4LV3UKMQ","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":"79b44e367582783c01d08d92432b0c792e6d508641513c296f2f31feba7edf5e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-04-26T23:25:43Z","title_canon_sha256":"62aabe232dd5abe849bcdb727eb05ace55130a3c2d0cf6c93c9525175dc2e931"},"schema_version":"1.0","source":{"id":"1204.6080","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.6080","created_at":"2026-05-18T03:56:47Z"},{"alias_kind":"arxiv_version","alias_value":"1204.6080v1","created_at":"2026-05-18T03:56:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.6080","created_at":"2026-05-18T03:56:47Z"},{"alias_kind":"pith_short_12","alias_value":"U2JPWOZNFUNZ","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"U2JPWOZNFUNZVPGP","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"U2JPWOZN","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:e40bc7f0fecd060f5977bb1d195fa0e3dfa82b897e356a5e7f36aa41494b966d","target":"graph","created_at":"2026-05-18T03:56:47Z","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":"This paper presents Cologne, a declarative optimization platform that enables constraint optimization problems (COPs) to be declaratively specified and incrementally executed in distributed systems. Cologne integrates a declarative networking engine with an off-the-shelf constraint solver. We have developed the Colog language that combines distributed Datalog used in declarative networking with language constructs for specifying goals and constraints used in COPs. Cologne uses novel query processing strategies for processing Colog programs, by combining the use of bottom-up distributed Datalog","authors_text":"Boon Thau Loo, Changbin Liu, Lu Ren, Prithwish Basu, Yun Mao","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-04-26T23:25:43Z","title":"Cologne: A Declarative Distributed Constraint Optimization Platform"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.6080","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:06dff8e606172cde65830cbbd9da26879f39f8dce521d51028a375cba91f0d7e","target":"record","created_at":"2026-05-18T03:56:47Z","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":"79b44e367582783c01d08d92432b0c792e6d508641513c296f2f31feba7edf5e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-04-26T23:25:43Z","title_canon_sha256":"62aabe232dd5abe849bcdb727eb05ace55130a3c2d0cf6c93c9525175dc2e931"},"schema_version":"1.0","source":{"id":"1204.6080","kind":"arxiv","version":1}},"canonical_sha256":"a692fb3b2d2d1b9abccfd978baee8a640bc8e89df900810ca6f841e24d45c8a1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a692fb3b2d2d1b9abccfd978baee8a640bc8e89df900810ca6f841e24d45c8a1","first_computed_at":"2026-05-18T03:56:47.104776Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:56:47.104776Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tgqCj9zUGnAxf8q7BvKnX8pEWRTjMzb5NH2hvlLo0HzHmLqOnP+m7UHv8KQ64tjoBX772xvtU+UGF1jeS46YAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:56:47.105614Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.6080","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:06dff8e606172cde65830cbbd9da26879f39f8dce521d51028a375cba91f0d7e","sha256:e40bc7f0fecd060f5977bb1d195fa0e3dfa82b897e356a5e7f36aa41494b966d"],"state_sha256":"8d3b5f94eab61c70e311de0eeb62a3990ee36f924dd54cdc80fb64328c1f1936"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+sYDhJhGUF2CGH+WqmrSqTxkNpLPFv3jFeBYEQSZNpkRvyaSwSKm+7j7363IDzG+9pBtjE3NpAeWWGjWwTLMCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T05:03:52.634283Z","bundle_sha256":"0ea9f3eea0f6732cbcce14b2b9a6ab1116e5f54e459c3d326f7e5dbcc6fa8c11"}}