{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:ZYV547W5ZJHRMJWRXXTZULBJWD","short_pith_number":"pith:ZYV547W5","canonical_record":{"source":{"id":"1206.1630","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-06-07T21:56:10Z","cross_cats_sorted":["cs.DM","math.OC"],"title_canon_sha256":"fb746c5994a6c5a1ca127f947cf3e850b6bd57437060e63b0f1d3d9da9837ff7","abstract_canon_sha256":"388fa4936f4ff713e1890ee287dc9ebb42f36ab9d511803f1f8bc17d308ad81c"},"schema_version":"1.0"},"canonical_sha256":"ce2bde7eddca4f1626d1bde79a2c29b0d0a2edbe40e5871b9f735fe3299c7325","source":{"kind":"arxiv","id":"1206.1630","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.1630","created_at":"2026-05-18T03:52:27Z"},{"alias_kind":"arxiv_version","alias_value":"1206.1630v1","created_at":"2026-05-18T03:52:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.1630","created_at":"2026-05-18T03:52:27Z"},{"alias_kind":"pith_short_12","alias_value":"ZYV547W5ZJHR","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"ZYV547W5ZJHRMJWR","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"ZYV547W5","created_at":"2026-05-18T12:27:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:ZYV547W5ZJHRMJWRXXTZULBJWD","target":"record","payload":{"canonical_record":{"source":{"id":"1206.1630","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-06-07T21:56:10Z","cross_cats_sorted":["cs.DM","math.OC"],"title_canon_sha256":"fb746c5994a6c5a1ca127f947cf3e850b6bd57437060e63b0f1d3d9da9837ff7","abstract_canon_sha256":"388fa4936f4ff713e1890ee287dc9ebb42f36ab9d511803f1f8bc17d308ad81c"},"schema_version":"1.0"},"canonical_sha256":"ce2bde7eddca4f1626d1bde79a2c29b0d0a2edbe40e5871b9f735fe3299c7325","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:52:27.812064Z","signature_b64":"Jk6iXir/VQ54Dmuy+Rz8s768netMTcE5F55UI7P25y8/m/4ccwmsVjCgR2auCaz+g0Tp9tU5noKyDJk6E6EmBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce2bde7eddca4f1626d1bde79a2c29b0d0a2edbe40e5871b9f735fe3299c7325","last_reissued_at":"2026-05-18T03:52:27.811427Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:52:27.811427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1206.1630","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:52:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v0GzOKGjfJ33W9cLQTa/QkdqDSpz6ndBpvdz22AMhR6k1oiCAQmqx0UppjBCFCCKHr1Y32bQdMVxowhtxfPfDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T20:21:21.523567Z"},"content_sha256":"9b9958df73e288c71ca2e7b07674f82b16b9b65bd53d2157175ca4b282665329","schema_version":"1.0","event_id":"sha256:9b9958df73e288c71ca2e7b07674f82b16b9b65bd53d2157175ca4b282665329"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:ZYV547W5ZJHRMJWRXXTZULBJWD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Intersection cuts from multiple rows: a disjunctive programming approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.OC"],"primary_cat":"math.CO","authors_text":"Andrea Qualizza, Egon Balas","submitted_at":"2012-06-07T21:56:10Z","abstract_excerpt":"We address the issue of generating cutting planes for mixed integer programs from multiple rows of the simplex tableau with the tools of disjunctive programming. A cut from q rows of the simplex tableau is an intersection cuts from a q-dimensional parametric cross-polytope, which can also be viewed as a disjunctive cut from a 2q-term disjunction. We define the disjunctive hull of the q-row problem, describe its relation to the integer hull, and show how to generate its facets. For the case of binary basic variables, we derive cuts from the stronger disjunctions whose terms are equations. We gi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.1630","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:52:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ONOBR7wJLZhT76//IDzcUVmdUo14/be+fo2A8g0Q5afZHVVyh5Sj1EdQ99za/TCo7HgA7dVvjvRNCCPxki8/Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T20:21:21.524142Z"},"content_sha256":"f0644073b1b79d7c6cb14a2019482b27f54c652ec039699d2d1f5d6639ceb576","schema_version":"1.0","event_id":"sha256:f0644073b1b79d7c6cb14a2019482b27f54c652ec039699d2d1f5d6639ceb576"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZYV547W5ZJHRMJWRXXTZULBJWD/bundle.json","state_url":"https://pith.science/pith/ZYV547W5ZJHRMJWRXXTZULBJWD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZYV547W5ZJHRMJWRXXTZULBJWD/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-30T20:21:21Z","links":{"resolver":"https://pith.science/pith/ZYV547W5ZJHRMJWRXXTZULBJWD","bundle":"https://pith.science/pith/ZYV547W5ZJHRMJWRXXTZULBJWD/bundle.json","state":"https://pith.science/pith/ZYV547W5ZJHRMJWRXXTZULBJWD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZYV547W5ZJHRMJWRXXTZULBJWD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:ZYV547W5ZJHRMJWRXXTZULBJWD","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":"388fa4936f4ff713e1890ee287dc9ebb42f36ab9d511803f1f8bc17d308ad81c","cross_cats_sorted":["cs.DM","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-06-07T21:56:10Z","title_canon_sha256":"fb746c5994a6c5a1ca127f947cf3e850b6bd57437060e63b0f1d3d9da9837ff7"},"schema_version":"1.0","source":{"id":"1206.1630","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.1630","created_at":"2026-05-18T03:52:27Z"},{"alias_kind":"arxiv_version","alias_value":"1206.1630v1","created_at":"2026-05-18T03:52:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.1630","created_at":"2026-05-18T03:52:27Z"},{"alias_kind":"pith_short_12","alias_value":"ZYV547W5ZJHR","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"ZYV547W5ZJHRMJWR","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"ZYV547W5","created_at":"2026-05-18T12:27:30Z"}],"graph_snapshots":[{"event_id":"sha256:f0644073b1b79d7c6cb14a2019482b27f54c652ec039699d2d1f5d6639ceb576","target":"graph","created_at":"2026-05-18T03:52:27Z","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 address the issue of generating cutting planes for mixed integer programs from multiple rows of the simplex tableau with the tools of disjunctive programming. A cut from q rows of the simplex tableau is an intersection cuts from a q-dimensional parametric cross-polytope, which can also be viewed as a disjunctive cut from a 2q-term disjunction. We define the disjunctive hull of the q-row problem, describe its relation to the integer hull, and show how to generate its facets. For the case of binary basic variables, we derive cuts from the stronger disjunctions whose terms are equations. We gi","authors_text":"Andrea Qualizza, Egon Balas","cross_cats":["cs.DM","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-06-07T21:56:10Z","title":"Intersection cuts from multiple rows: a disjunctive programming approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.1630","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:9b9958df73e288c71ca2e7b07674f82b16b9b65bd53d2157175ca4b282665329","target":"record","created_at":"2026-05-18T03:52:27Z","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":"388fa4936f4ff713e1890ee287dc9ebb42f36ab9d511803f1f8bc17d308ad81c","cross_cats_sorted":["cs.DM","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-06-07T21:56:10Z","title_canon_sha256":"fb746c5994a6c5a1ca127f947cf3e850b6bd57437060e63b0f1d3d9da9837ff7"},"schema_version":"1.0","source":{"id":"1206.1630","kind":"arxiv","version":1}},"canonical_sha256":"ce2bde7eddca4f1626d1bde79a2c29b0d0a2edbe40e5871b9f735fe3299c7325","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce2bde7eddca4f1626d1bde79a2c29b0d0a2edbe40e5871b9f735fe3299c7325","first_computed_at":"2026-05-18T03:52:27.811427Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:52:27.811427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Jk6iXir/VQ54Dmuy+Rz8s768netMTcE5F55UI7P25y8/m/4ccwmsVjCgR2auCaz+g0Tp9tU5noKyDJk6E6EmBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:52:27.812064Z","signed_message":"canonical_sha256_bytes"},"source_id":"1206.1630","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b9958df73e288c71ca2e7b07674f82b16b9b65bd53d2157175ca4b282665329","sha256:f0644073b1b79d7c6cb14a2019482b27f54c652ec039699d2d1f5d6639ceb576"],"state_sha256":"22951188ddb8535f692b328fe958b9a5034bb2a3a05664e786153d921f990840"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ye3Pc1tz8KxO41T2kcWvN+JZRDzNqFhcMQV70dXixQueL4wpBQVy4g+d5Hmr4XLdtIj2siT6skaC5Vp48kk/Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T20:21:21.526966Z","bundle_sha256":"1e39dd454acf56a5f6dcf806a61fa9e8ca711815969272cc6bd2bd19810f4b66"}}