{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:V3FGGIPHNAKFVSL4EWTSAALAR7","short_pith_number":"pith:V3FGGIPH","canonical_record":{"source":{"id":"1706.05059","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-06-15T19:51:52Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9676818fc0816379594af4c9a051e4dd854854ee07bd00e238484217462f3ff8","abstract_canon_sha256":"63d8bdac99f571d3e1f57d1fee3f39beb7e7e863782614f91ab46556bdff6deb"},"schema_version":"1.0"},"canonical_sha256":"aeca6321e768145ac97c25a72001608fec80057e5d7c3cc92ac8c386104f5dab","source":{"kind":"arxiv","id":"1706.05059","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.05059","created_at":"2026-05-18T00:42:16Z"},{"alias_kind":"arxiv_version","alias_value":"1706.05059v1","created_at":"2026-05-18T00:42:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.05059","created_at":"2026-05-18T00:42:16Z"},{"alias_kind":"pith_short_12","alias_value":"V3FGGIPHNAKF","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"V3FGGIPHNAKFVSL4","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"V3FGGIPH","created_at":"2026-05-18T12:31:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:V3FGGIPHNAKFVSL4EWTSAALAR7","target":"record","payload":{"canonical_record":{"source":{"id":"1706.05059","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-06-15T19:51:52Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9676818fc0816379594af4c9a051e4dd854854ee07bd00e238484217462f3ff8","abstract_canon_sha256":"63d8bdac99f571d3e1f57d1fee3f39beb7e7e863782614f91ab46556bdff6deb"},"schema_version":"1.0"},"canonical_sha256":"aeca6321e768145ac97c25a72001608fec80057e5d7c3cc92ac8c386104f5dab","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:16.816375Z","signature_b64":"Vb6jh+YqM9mjJJ6KqDUfJhwo5XKxXXWvfzB64vduSglAdh8shcazubeHcm3Z0wd3+WEEKHgESVgTMbsyAJeDDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aeca6321e768145ac97c25a72001608fec80057e5d7c3cc92ac8c386104f5dab","last_reissued_at":"2026-05-18T00:42:16.815785Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:16.815785Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.05059","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-18T00:42:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZuZVNl7YFMJITMKoxjGJitwZPU4B7nQJz7D+Vp/D0EczXKC8uyL6RgHQlKktk9azJV0A4cxv4I2JcaA9e0IHBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T00:37:49.815032Z"},"content_sha256":"aa4bb57045e94a0aca212c642ca204d11a3f86cd93e6e3c398c0ebb6c7ddbeab","schema_version":"1.0","event_id":"sha256:aa4bb57045e94a0aca212c642ca204d11a3f86cd93e6e3c398c0ebb6c7ddbeab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:V3FGGIPHNAKFVSL4EWTSAALAR7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Conjunctions of Among Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Victor Dalmau","submitted_at":"2017-06-15T19:51:52Z","abstract_excerpt":"Many existing global constraints can be encoded as a conjunction of among constraints. An among constraint holds if the number of the variables in its scope whose value belongs to a prespecified set, which we call its range, is within some given bounds. It is known that domain filtering algorithms can benefit from reasoning about the interaction of among constraints so that values can be filtered out taking into consideration several among constraints simultaneously. The present pa- per embarks into a systematic investigation on the circumstances under which it is possible to obtain efficient "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.05059","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-18T00:42:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pX6awTEGktPGOCcFQ6mNonQTN8x9Dov+haQCGO4JAtDS4sBOdc6+2FFz62fG0UmqI/LNvPrKBXZNFK39j6f4DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T00:37:49.815804Z"},"content_sha256":"0d3754d9b28a40089a9f57ad2a470f31eb668e2912af7e4459696a6d3b9c0dbb","schema_version":"1.0","event_id":"sha256:0d3754d9b28a40089a9f57ad2a470f31eb668e2912af7e4459696a6d3b9c0dbb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V3FGGIPHNAKFVSL4EWTSAALAR7/bundle.json","state_url":"https://pith.science/pith/V3FGGIPHNAKFVSL4EWTSAALAR7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V3FGGIPHNAKFVSL4EWTSAALAR7/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-01T00:37:49Z","links":{"resolver":"https://pith.science/pith/V3FGGIPHNAKFVSL4EWTSAALAR7","bundle":"https://pith.science/pith/V3FGGIPHNAKFVSL4EWTSAALAR7/bundle.json","state":"https://pith.science/pith/V3FGGIPHNAKFVSL4EWTSAALAR7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V3FGGIPHNAKFVSL4EWTSAALAR7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:V3FGGIPHNAKFVSL4EWTSAALAR7","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":"63d8bdac99f571d3e1f57d1fee3f39beb7e7e863782614f91ab46556bdff6deb","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-06-15T19:51:52Z","title_canon_sha256":"9676818fc0816379594af4c9a051e4dd854854ee07bd00e238484217462f3ff8"},"schema_version":"1.0","source":{"id":"1706.05059","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.05059","created_at":"2026-05-18T00:42:16Z"},{"alias_kind":"arxiv_version","alias_value":"1706.05059v1","created_at":"2026-05-18T00:42:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.05059","created_at":"2026-05-18T00:42:16Z"},{"alias_kind":"pith_short_12","alias_value":"V3FGGIPHNAKF","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"V3FGGIPHNAKFVSL4","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"V3FGGIPH","created_at":"2026-05-18T12:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:0d3754d9b28a40089a9f57ad2a470f31eb668e2912af7e4459696a6d3b9c0dbb","target":"graph","created_at":"2026-05-18T00:42:16Z","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":"Many existing global constraints can be encoded as a conjunction of among constraints. An among constraint holds if the number of the variables in its scope whose value belongs to a prespecified set, which we call its range, is within some given bounds. It is known that domain filtering algorithms can benefit from reasoning about the interaction of among constraints so that values can be filtered out taking into consideration several among constraints simultaneously. The present pa- per embarks into a systematic investigation on the circumstances under which it is possible to obtain efficient ","authors_text":"Victor Dalmau","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-06-15T19:51:52Z","title":"Conjunctions of Among Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.05059","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:aa4bb57045e94a0aca212c642ca204d11a3f86cd93e6e3c398c0ebb6c7ddbeab","target":"record","created_at":"2026-05-18T00:42:16Z","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":"63d8bdac99f571d3e1f57d1fee3f39beb7e7e863782614f91ab46556bdff6deb","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-06-15T19:51:52Z","title_canon_sha256":"9676818fc0816379594af4c9a051e4dd854854ee07bd00e238484217462f3ff8"},"schema_version":"1.0","source":{"id":"1706.05059","kind":"arxiv","version":1}},"canonical_sha256":"aeca6321e768145ac97c25a72001608fec80057e5d7c3cc92ac8c386104f5dab","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aeca6321e768145ac97c25a72001608fec80057e5d7c3cc92ac8c386104f5dab","first_computed_at":"2026-05-18T00:42:16.815785Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:16.815785Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Vb6jh+YqM9mjJJ6KqDUfJhwo5XKxXXWvfzB64vduSglAdh8shcazubeHcm3Z0wd3+WEEKHgESVgTMbsyAJeDDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:16.816375Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.05059","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aa4bb57045e94a0aca212c642ca204d11a3f86cd93e6e3c398c0ebb6c7ddbeab","sha256:0d3754d9b28a40089a9f57ad2a470f31eb668e2912af7e4459696a6d3b9c0dbb"],"state_sha256":"2a3f9511e7010528913c671d3049c4a1b667139e2c6c22eb313eff863936ebfe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YeGRqCox4ZTD0cMqB4PkMKTJwu/ZcbgQXtYaSov/+Awx3RWWUSVJK8ezcpLUIi3vzB3FobxG2ayvTP0UvlwDCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T00:37:49.819801Z","bundle_sha256":"4ee51acc70724ec9181406342a1d76e0c499c4d60c3d3b20430d795da1bb6808"}}