{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:B3FJFOGXBJRPOPITTKXDPVYOSS","short_pith_number":"pith:B3FJFOGX","canonical_record":{"source":{"id":"1401.3879","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:11:58Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"3486a4cd5b937d139b9a574cc4dbb3666c42a80c02928430cddfb71c80362fab","abstract_canon_sha256":"c98bed27789ac22a5a71a743c923af55be7c0ca2560da75bda08131d4c6e213d"},"schema_version":"1.0"},"canonical_sha256":"0eca92b8d70a62f73d139aae37d70e94959118a53d9b5a9e7a15c8a47ad46bed","source":{"kind":"arxiv","id":"1401.3879","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3879","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3879v1","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3879","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"pith_short_12","alias_value":"B3FJFOGXBJRP","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"B3FJFOGXBJRPOPIT","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"B3FJFOGX","created_at":"2026-05-18T12:28:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:B3FJFOGXBJRPOPITTKXDPVYOSS","target":"record","payload":{"canonical_record":{"source":{"id":"1401.3879","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:11:58Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"3486a4cd5b937d139b9a574cc4dbb3666c42a80c02928430cddfb71c80362fab","abstract_canon_sha256":"c98bed27789ac22a5a71a743c923af55be7c0ca2560da75bda08131d4c6e213d"},"schema_version":"1.0"},"canonical_sha256":"0eca92b8d70a62f73d139aae37d70e94959118a53d9b5a9e7a15c8a47ad46bed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:06.299565Z","signature_b64":"49FJ3OBAdrQ+UPdebFpN0m3zVULX/bjRYSGE7IuldKLKoPo9gxxJlVQbnY1RglLS36qaakc2BWkPtQ3nC0BJDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0eca92b8d70a62f73d139aae37d70e94959118a53d9b5a9e7a15c8a47ad46bed","last_reissued_at":"2026-05-18T03:02:06.299068Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:06.299068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.3879","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:02:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rqZuB6QIzwcLXM7mgmUrxCfdj2A51+MMy87T10iqsHiarQ7TUb9Xw8UqDIPye5anyah7JNpNnGztO6TPslYLDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T02:12:41.511987Z"},"content_sha256":"6ff149bd8d175d06d9c9017eb5ea7862bf3bc08bb67c9e57ecc8488ed99bab72","schema_version":"1.0","event_id":"sha256:6ff149bd8d175d06d9c9017eb5ea7862bf3bc08bb67c9e57ecc8488ed99bab72"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:B3FJFOGXBJRPOPITTKXDPVYOSS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Soft Constraints of Difference and Equality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.AI","authors_text":"Barry O'Sullivan, D\\'aniel Marx, Emmanuel Hebrard, Igor Razgon","submitted_at":"2014-01-16T05:11:58Z","abstract_excerpt":"In many combinatorial problems one may need to model the diversity or similarity of assignments in a solution. For example, one may wish to maximise or minimise the number of distinct values in a solution. To formulate problems of this type, we can use soft variants of the well known AllDifferent and AllEqual constraints.  We present a taxonomy of six soft global constraints, generated by combining the two latter ones and the two standard cost functions, which are either maximised or minimised. We characterise the complexity of achieving arc and bounds consistency on these constraints, resolvi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3879","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:02:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yzUeBOaJtAhqyaBXluZYxxq/EqhptgEG1VZ/k+dpLbpgkeV5+Mm/enJWfMZ/LED/9Xli/KJdW9HEiaB1jGPwBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T02:12:41.512596Z"},"content_sha256":"b73e8bac1bd51e5aa9b5be134bfca1623c14c45df07b358fdecdd9d0b6b6aa95","schema_version":"1.0","event_id":"sha256:b73e8bac1bd51e5aa9b5be134bfca1623c14c45df07b358fdecdd9d0b6b6aa95"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B3FJFOGXBJRPOPITTKXDPVYOSS/bundle.json","state_url":"https://pith.science/pith/B3FJFOGXBJRPOPITTKXDPVYOSS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B3FJFOGXBJRPOPITTKXDPVYOSS/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-28T02:12:41Z","links":{"resolver":"https://pith.science/pith/B3FJFOGXBJRPOPITTKXDPVYOSS","bundle":"https://pith.science/pith/B3FJFOGXBJRPOPITTKXDPVYOSS/bundle.json","state":"https://pith.science/pith/B3FJFOGXBJRPOPITTKXDPVYOSS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B3FJFOGXBJRPOPITTKXDPVYOSS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:B3FJFOGXBJRPOPITTKXDPVYOSS","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":"c98bed27789ac22a5a71a743c923af55be7c0ca2560da75bda08131d4c6e213d","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:11:58Z","title_canon_sha256":"3486a4cd5b937d139b9a574cc4dbb3666c42a80c02928430cddfb71c80362fab"},"schema_version":"1.0","source":{"id":"1401.3879","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3879","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3879v1","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3879","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"pith_short_12","alias_value":"B3FJFOGXBJRP","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"B3FJFOGXBJRPOPIT","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"B3FJFOGX","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:b73e8bac1bd51e5aa9b5be134bfca1623c14c45df07b358fdecdd9d0b6b6aa95","target":"graph","created_at":"2026-05-18T03:02: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 many combinatorial problems one may need to model the diversity or similarity of assignments in a solution. For example, one may wish to maximise or minimise the number of distinct values in a solution. To formulate problems of this type, we can use soft variants of the well known AllDifferent and AllEqual constraints.  We present a taxonomy of six soft global constraints, generated by combining the two latter ones and the two standard cost functions, which are either maximised or minimised. We characterise the complexity of achieving arc and bounds consistency on these constraints, resolvi","authors_text":"Barry O'Sullivan, D\\'aniel Marx, Emmanuel Hebrard, Igor Razgon","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:11:58Z","title":"Soft Constraints of Difference and Equality"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3879","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:6ff149bd8d175d06d9c9017eb5ea7862bf3bc08bb67c9e57ecc8488ed99bab72","target":"record","created_at":"2026-05-18T03:02: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":"c98bed27789ac22a5a71a743c923af55be7c0ca2560da75bda08131d4c6e213d","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:11:58Z","title_canon_sha256":"3486a4cd5b937d139b9a574cc4dbb3666c42a80c02928430cddfb71c80362fab"},"schema_version":"1.0","source":{"id":"1401.3879","kind":"arxiv","version":1}},"canonical_sha256":"0eca92b8d70a62f73d139aae37d70e94959118a53d9b5a9e7a15c8a47ad46bed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0eca92b8d70a62f73d139aae37d70e94959118a53d9b5a9e7a15c8a47ad46bed","first_computed_at":"2026-05-18T03:02:06.299068Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:02:06.299068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"49FJ3OBAdrQ+UPdebFpN0m3zVULX/bjRYSGE7IuldKLKoPo9gxxJlVQbnY1RglLS36qaakc2BWkPtQ3nC0BJDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:02:06.299565Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3879","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6ff149bd8d175d06d9c9017eb5ea7862bf3bc08bb67c9e57ecc8488ed99bab72","sha256:b73e8bac1bd51e5aa9b5be134bfca1623c14c45df07b358fdecdd9d0b6b6aa95"],"state_sha256":"3b9915a8775849d5dc6ff08805d1255ecd59524c0b3946a7475374055b742fc1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QzL4WMp7JLBShLrw4SP4OdkqL2GCEP8fmbfG4Vx7lTTNAhdnS5yGlGaJ4wzuXvO0/KV+igyxHNuSFQdP9uIdAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T02:12:41.515474Z","bundle_sha256":"1fb11f949b53f92673ce01d6f08e42bee6eec422a1c34a029489170d68c15a4c"}}