{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:6OLUY3XKG2Y5XILHX7GMH7RVUT","short_pith_number":"pith:6OLUY3XK","canonical_record":{"source":{"id":"1903.03961","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-10T09:53:41Z","cross_cats_sorted":[],"title_canon_sha256":"53b6f56923a3a6da879bc42b7d9649c9c28120fd3e246d98ab2f0b761592201b","abstract_canon_sha256":"346e2b003189f358a3f643c1d72ef36d181992a88f044c10827f3c9747acef77"},"schema_version":"1.0"},"canonical_sha256":"f3974c6eea36b1dba167bfccc3fe35a4f9bdb6a4fae4403cf55344da9e09408b","source":{"kind":"arxiv","id":"1903.03961","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.03961","created_at":"2026-05-17T23:48:29Z"},{"alias_kind":"arxiv_version","alias_value":"1903.03961v3","created_at":"2026-05-17T23:48:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.03961","created_at":"2026-05-17T23:48:29Z"},{"alias_kind":"pith_short_12","alias_value":"6OLUY3XKG2Y5","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"6OLUY3XKG2Y5XILH","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"6OLUY3XK","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:6OLUY3XKG2Y5XILHX7GMH7RVUT","target":"record","payload":{"canonical_record":{"source":{"id":"1903.03961","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-10T09:53:41Z","cross_cats_sorted":[],"title_canon_sha256":"53b6f56923a3a6da879bc42b7d9649c9c28120fd3e246d98ab2f0b761592201b","abstract_canon_sha256":"346e2b003189f358a3f643c1d72ef36d181992a88f044c10827f3c9747acef77"},"schema_version":"1.0"},"canonical_sha256":"f3974c6eea36b1dba167bfccc3fe35a4f9bdb6a4fae4403cf55344da9e09408b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:29.964173Z","signature_b64":"UOOAKV5NZZ1bktNMrfzG/XbchM8j1idaJMM8lFxja2uDGgJxVy1UXFLQO11+tpxz2u9KymqQ2x5VqDCvVFmgAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f3974c6eea36b1dba167bfccc3fe35a4f9bdb6a4fae4403cf55344da9e09408b","last_reissued_at":"2026-05-17T23:48:29.963510Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:29.963510Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.03961","source_version":3,"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:48:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"axpp2yal8NaLmo1Eb9vXHIID4r9quuA4lsSIXU8R1TTa2dY9If6IDW4ADPQv4/7y0MudmxcyL0zUwEA8ThHBCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T13:58:57.954823Z"},"content_sha256":"e202a79656051041d1be49aa6e34c140f056cc6dd9a736ed6ab29c7e2a465dc1","schema_version":"1.0","event_id":"sha256:e202a79656051041d1be49aa6e34c140f056cc6dd9a736ed6ab29c7e2a465dc1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:6OLUY3XKG2Y5XILHX7GMH7RVUT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Strong Valid Inequalities Identification for Mixed Integer Programming Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Asghar Moeini, Kate Smith-Miles","submitted_at":"2019-03-10T09:53:41Z","abstract_excerpt":"The characterization of strong valid inequalities for integer and mixed-integer programs is more of an artistic task than a systematic methodology, requiring inspiration that can sometimes be elusive. Frequently, this task is facilitated by somehow exploiting the structure of problems for devising strong valid inequalities. Subsequently, various mathematical techniques are utilized for proving that those inequalities, which are often easily shown to be valid, are indeed strong in the sense that they represent facets or other high dimensional faces. This paper develops a method to assist modele"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.03961","kind":"arxiv","version":3},"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:48:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ltv0hRlrYmOMSlX9mrzeqRGL1m2xcX7AS8qgEjSN/muShjlsrPiYvRf4LzPdupseogTc34+oHnzUA23LgOrBCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T13:58:57.955238Z"},"content_sha256":"c0efabb5a225748c70a3ccfdd25b5d0b3d5f0fa8174fbe876eaa0d47e67e535e","schema_version":"1.0","event_id":"sha256:c0efabb5a225748c70a3ccfdd25b5d0b3d5f0fa8174fbe876eaa0d47e67e535e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT/bundle.json","state_url":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT/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-09T13:58:57Z","links":{"resolver":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT","bundle":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT/bundle.json","state":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:6OLUY3XKG2Y5XILHX7GMH7RVUT","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":"346e2b003189f358a3f643c1d72ef36d181992a88f044c10827f3c9747acef77","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-10T09:53:41Z","title_canon_sha256":"53b6f56923a3a6da879bc42b7d9649c9c28120fd3e246d98ab2f0b761592201b"},"schema_version":"1.0","source":{"id":"1903.03961","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.03961","created_at":"2026-05-17T23:48:29Z"},{"alias_kind":"arxiv_version","alias_value":"1903.03961v3","created_at":"2026-05-17T23:48:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.03961","created_at":"2026-05-17T23:48:29Z"},{"alias_kind":"pith_short_12","alias_value":"6OLUY3XKG2Y5","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"6OLUY3XKG2Y5XILH","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"6OLUY3XK","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:c0efabb5a225748c70a3ccfdd25b5d0b3d5f0fa8174fbe876eaa0d47e67e535e","target":"graph","created_at":"2026-05-17T23:48:29Z","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 characterization of strong valid inequalities for integer and mixed-integer programs is more of an artistic task than a systematic methodology, requiring inspiration that can sometimes be elusive. Frequently, this task is facilitated by somehow exploiting the structure of problems for devising strong valid inequalities. Subsequently, various mathematical techniques are utilized for proving that those inequalities, which are often easily shown to be valid, are indeed strong in the sense that they represent facets or other high dimensional faces. This paper develops a method to assist modele","authors_text":"Asghar Moeini, Kate Smith-Miles","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-10T09:53:41Z","title":"Strong Valid Inequalities Identification for Mixed Integer Programming Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.03961","kind":"arxiv","version":3},"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:e202a79656051041d1be49aa6e34c140f056cc6dd9a736ed6ab29c7e2a465dc1","target":"record","created_at":"2026-05-17T23:48:29Z","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":"346e2b003189f358a3f643c1d72ef36d181992a88f044c10827f3c9747acef77","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-10T09:53:41Z","title_canon_sha256":"53b6f56923a3a6da879bc42b7d9649c9c28120fd3e246d98ab2f0b761592201b"},"schema_version":"1.0","source":{"id":"1903.03961","kind":"arxiv","version":3}},"canonical_sha256":"f3974c6eea36b1dba167bfccc3fe35a4f9bdb6a4fae4403cf55344da9e09408b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f3974c6eea36b1dba167bfccc3fe35a4f9bdb6a4fae4403cf55344da9e09408b","first_computed_at":"2026-05-17T23:48:29.963510Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:29.963510Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UOOAKV5NZZ1bktNMrfzG/XbchM8j1idaJMM8lFxja2uDGgJxVy1UXFLQO11+tpxz2u9KymqQ2x5VqDCvVFmgAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:29.964173Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.03961","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e202a79656051041d1be49aa6e34c140f056cc6dd9a736ed6ab29c7e2a465dc1","sha256:c0efabb5a225748c70a3ccfdd25b5d0b3d5f0fa8174fbe876eaa0d47e67e535e"],"state_sha256":"7348cfd4d80fd7a421da827d51d3b3aa403c8076ecc387e35e03bcd47173064a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UB7+zIURskCb4HY7QZLW7FAVdcvXoMXZFRF3xe1pXtUbo1KH5ZZ8LFcOuRYtq7ta+Vuvm8ejkEcHBMhPDDRsCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T13:58:57.957608Z","bundle_sha256":"30a3e1a140a1328d33532aceb97e1f8ce20aa25821bd56d1a7bf73d90e2d409e"}}