{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:6OLUY3XKG2Y5XILHX7GMH7RVUT","short_pith_number":"pith:6OLUY3XK","schema_version":"1.0","canonical_sha256":"f3974c6eea36b1dba167bfccc3fe35a4f9bdb6a4fae4403cf55344da9e09408b","source":{"kind":"arxiv","id":"1903.03961","version":3},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1903.03961","created_at":"2026-05-17T23:48:29.963616+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.03961v3","created_at":"2026-05-17T23:48:29.963616+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.03961","created_at":"2026-05-17T23:48:29.963616+00:00"},{"alias_kind":"pith_short_12","alias_value":"6OLUY3XKG2Y5","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_16","alias_value":"6OLUY3XKG2Y5XILH","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_8","alias_value":"6OLUY3XK","created_at":"2026-05-18T12:33:10.108867+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT","json":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT.json","graph_json":"https://pith.science/api/pith-number/6OLUY3XKG2Y5XILHX7GMH7RVUT/graph.json","events_json":"https://pith.science/api/pith-number/6OLUY3XKG2Y5XILHX7GMH7RVUT/events.json","paper":"https://pith.science/paper/6OLUY3XK"},"agent_actions":{"view_html":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT","download_json":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT.json","view_paper":"https://pith.science/paper/6OLUY3XK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.03961&json=true","fetch_graph":"https://pith.science/api/pith-number/6OLUY3XKG2Y5XILHX7GMH7RVUT/graph.json","fetch_events":"https://pith.science/api/pith-number/6OLUY3XKG2Y5XILHX7GMH7RVUT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT/action/storage_attestation","attest_author":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT/action/author_attestation","sign_citation":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT/action/citation_signature","submit_replication":"https://pith.science/pith/6OLUY3XKG2Y5XILHX7GMH7RVUT/action/replication_record"}},"created_at":"2026-05-17T23:48:29.963616+00:00","updated_at":"2026-05-17T23:48:29.963616+00:00"}