{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:CZHBB2MVJG4CHCPBMAQH56KUGQ","short_pith_number":"pith:CZHBB2MV","canonical_record":{"source":{"id":"1611.07887","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-11-23T17:18:42Z","cross_cats_sorted":[],"title_canon_sha256":"aa7bd0f216fe690cafc93eea1b0f71594f2e262a87f86c304ce63b598e66b209","abstract_canon_sha256":"2f04aacab39e9f3961847f5fa6022a0b639e55545b065c321ce12956891159b3"},"schema_version":"1.0"},"canonical_sha256":"164e10e99549b82389e160207ef954342a6e9af95c803f28e94d46b111427a04","source":{"kind":"arxiv","id":"1611.07887","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.07887","created_at":"2026-05-18T00:56:59Z"},{"alias_kind":"arxiv_version","alias_value":"1611.07887v1","created_at":"2026-05-18T00:56:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.07887","created_at":"2026-05-18T00:56:59Z"},{"alias_kind":"pith_short_12","alias_value":"CZHBB2MVJG4C","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CZHBB2MVJG4CHCPB","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CZHBB2MV","created_at":"2026-05-18T12:30:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:CZHBB2MVJG4CHCPBMAQH56KUGQ","target":"record","payload":{"canonical_record":{"source":{"id":"1611.07887","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-11-23T17:18:42Z","cross_cats_sorted":[],"title_canon_sha256":"aa7bd0f216fe690cafc93eea1b0f71594f2e262a87f86c304ce63b598e66b209","abstract_canon_sha256":"2f04aacab39e9f3961847f5fa6022a0b639e55545b065c321ce12956891159b3"},"schema_version":"1.0"},"canonical_sha256":"164e10e99549b82389e160207ef954342a6e9af95c803f28e94d46b111427a04","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:59.610922Z","signature_b64":"bD9bYV9jPOuqSnHyQZvScZSx2uJOXL2WVpKgWdsHGbwThfqjWrCA6hTJqRp4JoxfTN80Q3B2f+QL7ucOGzn5Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"164e10e99549b82389e160207ef954342a6e9af95c803f28e94d46b111427a04","last_reissued_at":"2026-05-18T00:56:59.610536Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:59.610536Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1611.07887","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:56:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PRNYzfrRXlh4B70eDFBcfN1hEQhIBiYUdMc6jReSVoEl1GO8zAgloWWxkVNq3gZ7whxegg89yhGsXRgGxNPkDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T09:25:29.126675Z"},"content_sha256":"654a69b6f91c3b29c4c154e51c478e472649185dc62daf5051e4adafca65b453","schema_version":"1.0","event_id":"sha256:654a69b6f91c3b29c4c154e51c478e472649185dc62daf5051e4adafca65b453"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:CZHBB2MVJG4CHCPBMAQH56KUGQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Experiments with Conflict Analysis in Mixed Integer Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Jakob Witzig, Stefan Heinz, Timo Berthold","submitted_at":"2016-11-23T17:18:42Z","abstract_excerpt":"The analysis of infeasible subproblems plays an import role in solving mixed integer programs (MIPs) and is implemented in most major MIP solvers. There are two fundamentally different concepts to generate valid global constraints from infeasible subproblems. The first is to analyze the sequence of implications obtained by domain propagation that led to infeasibility. The result of the analysis are one or more sets of contradicting variable bounds from which so-called conflict constraints can be generated. This concept has its origin in solving satisfiability problems and is similarly used in "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.07887","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:56:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QPfrbxlHwgaJoDqVXuD3AG+tLpjbpwvHNRA/B4j32Ky2ik+p2NbjgtSd/nGtsRU5EhtzhJR79vbpuVxPb83XDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T09:25:29.127023Z"},"content_sha256":"f1ff917e81753209d554187a927e097cb2d00f93782679044a77738cb5228eaa","schema_version":"1.0","event_id":"sha256:f1ff917e81753209d554187a927e097cb2d00f93782679044a77738cb5228eaa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CZHBB2MVJG4CHCPBMAQH56KUGQ/bundle.json","state_url":"https://pith.science/pith/CZHBB2MVJG4CHCPBMAQH56KUGQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CZHBB2MVJG4CHCPBMAQH56KUGQ/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-02T09:25:29Z","links":{"resolver":"https://pith.science/pith/CZHBB2MVJG4CHCPBMAQH56KUGQ","bundle":"https://pith.science/pith/CZHBB2MVJG4CHCPBMAQH56KUGQ/bundle.json","state":"https://pith.science/pith/CZHBB2MVJG4CHCPBMAQH56KUGQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CZHBB2MVJG4CHCPBMAQH56KUGQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:CZHBB2MVJG4CHCPBMAQH56KUGQ","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":"2f04aacab39e9f3961847f5fa6022a0b639e55545b065c321ce12956891159b3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-11-23T17:18:42Z","title_canon_sha256":"aa7bd0f216fe690cafc93eea1b0f71594f2e262a87f86c304ce63b598e66b209"},"schema_version":"1.0","source":{"id":"1611.07887","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.07887","created_at":"2026-05-18T00:56:59Z"},{"alias_kind":"arxiv_version","alias_value":"1611.07887v1","created_at":"2026-05-18T00:56:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.07887","created_at":"2026-05-18T00:56:59Z"},{"alias_kind":"pith_short_12","alias_value":"CZHBB2MVJG4C","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CZHBB2MVJG4CHCPB","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CZHBB2MV","created_at":"2026-05-18T12:30:09Z"}],"graph_snapshots":[{"event_id":"sha256:f1ff917e81753209d554187a927e097cb2d00f93782679044a77738cb5228eaa","target":"graph","created_at":"2026-05-18T00:56:59Z","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":"The analysis of infeasible subproblems plays an import role in solving mixed integer programs (MIPs) and is implemented in most major MIP solvers. There are two fundamentally different concepts to generate valid global constraints from infeasible subproblems. The first is to analyze the sequence of implications obtained by domain propagation that led to infeasibility. The result of the analysis are one or more sets of contradicting variable bounds from which so-called conflict constraints can be generated. This concept has its origin in solving satisfiability problems and is similarly used in ","authors_text":"Jakob Witzig, Stefan Heinz, Timo Berthold","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-11-23T17:18:42Z","title":"Experiments with Conflict Analysis in Mixed Integer Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.07887","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:654a69b6f91c3b29c4c154e51c478e472649185dc62daf5051e4adafca65b453","target":"record","created_at":"2026-05-18T00:56:59Z","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":"2f04aacab39e9f3961847f5fa6022a0b639e55545b065c321ce12956891159b3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-11-23T17:18:42Z","title_canon_sha256":"aa7bd0f216fe690cafc93eea1b0f71594f2e262a87f86c304ce63b598e66b209"},"schema_version":"1.0","source":{"id":"1611.07887","kind":"arxiv","version":1}},"canonical_sha256":"164e10e99549b82389e160207ef954342a6e9af95c803f28e94d46b111427a04","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"164e10e99549b82389e160207ef954342a6e9af95c803f28e94d46b111427a04","first_computed_at":"2026-05-18T00:56:59.610536Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:56:59.610536Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bD9bYV9jPOuqSnHyQZvScZSx2uJOXL2WVpKgWdsHGbwThfqjWrCA6hTJqRp4JoxfTN80Q3B2f+QL7ucOGzn5Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:56:59.610922Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.07887","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:654a69b6f91c3b29c4c154e51c478e472649185dc62daf5051e4adafca65b453","sha256:f1ff917e81753209d554187a927e097cb2d00f93782679044a77738cb5228eaa"],"state_sha256":"bb5cde92e901604d2a68a31de78c69cb00d72bcf2f1bc959d5ed1880338b3b39"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3Q77hTO2YkAeOfyrEbm/e+Zp/rDvli6W9CguKtZVwRRandXVbMJ1uXHwwfZf0JaX+bEKA0MkuZvHGw1/jPEhDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T09:25:29.129055Z","bundle_sha256":"3d3409d20968df181e7eea6f7d164e347f4af4c85a39f0e32f567705f136e064"}}