{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:ZZM6NJSMYUP3DLZ2NPW7WQPI4C","short_pith_number":"pith:ZZM6NJSM","canonical_record":{"source":{"id":"1905.04209","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2019-05-10T15:12:42Z","cross_cats_sorted":[],"title_canon_sha256":"d2e2468d5fa81ddff94fd5e914ddde9701c947ad103c66d7f7a3593b01accc3e","abstract_canon_sha256":"f693a526219f69a8c297803e8d2698f0a10fd91fa092454d6dbb568f48523604"},"schema_version":"1.0"},"canonical_sha256":"ce59e6a64cc51fb1af3a6bedfb41e8e09993f4e2da52e62323b03c1082fe6804","source":{"kind":"arxiv","id":"1905.04209","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.04209","created_at":"2026-05-17T23:46:31Z"},{"alias_kind":"arxiv_version","alias_value":"1905.04209v1","created_at":"2026-05-17T23:46:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.04209","created_at":"2026-05-17T23:46:31Z"},{"alias_kind":"pith_short_12","alias_value":"ZZM6NJSMYUP3","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"ZZM6NJSMYUP3DLZ2","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"ZZM6NJSM","created_at":"2026-05-18T12:33:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:ZZM6NJSMYUP3DLZ2NPW7WQPI4C","target":"record","payload":{"canonical_record":{"source":{"id":"1905.04209","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2019-05-10T15:12:42Z","cross_cats_sorted":[],"title_canon_sha256":"d2e2468d5fa81ddff94fd5e914ddde9701c947ad103c66d7f7a3593b01accc3e","abstract_canon_sha256":"f693a526219f69a8c297803e8d2698f0a10fd91fa092454d6dbb568f48523604"},"schema_version":"1.0"},"canonical_sha256":"ce59e6a64cc51fb1af3a6bedfb41e8e09993f4e2da52e62323b03c1082fe6804","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:31.733139Z","signature_b64":"owGki6/hW/l188uCXU5p8lSQiOMuBVZIVHl3IMmHgWyJoDjtiBRAkhVwdQulDAie83MIYLujS/ZHXJ1J6EhEBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce59e6a64cc51fb1af3a6bedfb41e8e09993f4e2da52e62323b03c1082fe6804","last_reissued_at":"2026-05-17T23:46:31.732484Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:31.732484Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.04209","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:46:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1wQZdKPrLx7H3d/IEh4jG9XxZji5Vn3JsD+odpY+ZO+CNlOh8jYcwgz6YP4slVsAsmESXn0v7Spf3QNcD97SDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T09:23:49.673492Z"},"content_sha256":"ae90836a5946d72fe1918fc67078fad7f75ffe58aed0ede4d2b23e370277999f","schema_version":"1.0","event_id":"sha256:ae90836a5946d72fe1918fc67078fad7f75ffe58aed0ede4d2b23e370277999f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:ZZM6NJSMYUP3DLZ2NPW7WQPI4C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Variable elimination in binary CSPs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Achref El Mouelhi, Cyril Terrioux, Martin C. Cooper","submitted_at":"2019-05-10T15:12:42Z","abstract_excerpt":"We investigate rules which allow variable elimination in binary CSP (constraint satisfaction problem) instances while conserving satisfiability. We study variable-elimination rules based on the language of forbidden patterns enriched with counting and quantification over variables and values. We propose new rules and compare them, both theoretically and experimentally. We give optimised algorithms to apply these rules and show that each define a novel tractable class. Using our variable-elimination rules in preprocessing allowed us to solve more benchmark problems than without."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04209","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:46:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x8jRCzfN430MjxdlddaAvQfZqY+BIrzFp/o4DzWeYNOYQE1u3GvNI/gXR0cgUtc8KRdkLVeRwVnbM1RbewKwCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T09:23:49.673820Z"},"content_sha256":"9b3c6d0bace5a6971a8a64ddf6b5bfe67e37c080be0f5524d524c12868721045","schema_version":"1.0","event_id":"sha256:9b3c6d0bace5a6971a8a64ddf6b5bfe67e37c080be0f5524d524c12868721045"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZZM6NJSMYUP3DLZ2NPW7WQPI4C/bundle.json","state_url":"https://pith.science/pith/ZZM6NJSMYUP3DLZ2NPW7WQPI4C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZZM6NJSMYUP3DLZ2NPW7WQPI4C/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-05T09:23:49Z","links":{"resolver":"https://pith.science/pith/ZZM6NJSMYUP3DLZ2NPW7WQPI4C","bundle":"https://pith.science/pith/ZZM6NJSMYUP3DLZ2NPW7WQPI4C/bundle.json","state":"https://pith.science/pith/ZZM6NJSMYUP3DLZ2NPW7WQPI4C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZZM6NJSMYUP3DLZ2NPW7WQPI4C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ZZM6NJSMYUP3DLZ2NPW7WQPI4C","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":"f693a526219f69a8c297803e8d2698f0a10fd91fa092454d6dbb568f48523604","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2019-05-10T15:12:42Z","title_canon_sha256":"d2e2468d5fa81ddff94fd5e914ddde9701c947ad103c66d7f7a3593b01accc3e"},"schema_version":"1.0","source":{"id":"1905.04209","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.04209","created_at":"2026-05-17T23:46:31Z"},{"alias_kind":"arxiv_version","alias_value":"1905.04209v1","created_at":"2026-05-17T23:46:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.04209","created_at":"2026-05-17T23:46:31Z"},{"alias_kind":"pith_short_12","alias_value":"ZZM6NJSMYUP3","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"ZZM6NJSMYUP3DLZ2","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"ZZM6NJSM","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:9b3c6d0bace5a6971a8a64ddf6b5bfe67e37c080be0f5524d524c12868721045","target":"graph","created_at":"2026-05-17T23:46:31Z","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":"We investigate rules which allow variable elimination in binary CSP (constraint satisfaction problem) instances while conserving satisfiability. We study variable-elimination rules based on the language of forbidden patterns enriched with counting and quantification over variables and values. We propose new rules and compare them, both theoretically and experimentally. We give optimised algorithms to apply these rules and show that each define a novel tractable class. Using our variable-elimination rules in preprocessing allowed us to solve more benchmark problems than without.","authors_text":"Achref El Mouelhi, Cyril Terrioux, Martin C. Cooper","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2019-05-10T15:12:42Z","title":"Variable elimination in binary CSPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04209","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:ae90836a5946d72fe1918fc67078fad7f75ffe58aed0ede4d2b23e370277999f","target":"record","created_at":"2026-05-17T23:46:31Z","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":"f693a526219f69a8c297803e8d2698f0a10fd91fa092454d6dbb568f48523604","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2019-05-10T15:12:42Z","title_canon_sha256":"d2e2468d5fa81ddff94fd5e914ddde9701c947ad103c66d7f7a3593b01accc3e"},"schema_version":"1.0","source":{"id":"1905.04209","kind":"arxiv","version":1}},"canonical_sha256":"ce59e6a64cc51fb1af3a6bedfb41e8e09993f4e2da52e62323b03c1082fe6804","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce59e6a64cc51fb1af3a6bedfb41e8e09993f4e2da52e62323b03c1082fe6804","first_computed_at":"2026-05-17T23:46:31.732484Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:31.732484Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"owGki6/hW/l188uCXU5p8lSQiOMuBVZIVHl3IMmHgWyJoDjtiBRAkhVwdQulDAie83MIYLujS/ZHXJ1J6EhEBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:31.733139Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.04209","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae90836a5946d72fe1918fc67078fad7f75ffe58aed0ede4d2b23e370277999f","sha256:9b3c6d0bace5a6971a8a64ddf6b5bfe67e37c080be0f5524d524c12868721045"],"state_sha256":"cdc184606dd1256ce79be61081a3bd81195c52af8464c006ab651033bd971e40"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VXy1TxOmUrTI5AVcZv9AjyJBYwaChqnuIVPLHkqDqGFxyGFzX3U+7j3sDzibEwxmuXaZeD9i5tcCbg2HcVoPAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T09:23:49.675625Z","bundle_sha256":"83ec9c2d10130e43b4449f5a092e27545b8a9fca1eb19dcc4821bd8553ee0c2a"}}