{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:NKRXDPYPASQYEFX5DSOE3EBA7S","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":"c8ce5f318b4da29889ad1673ecbfab0c2bdee1b3ec75569d44fb2a2bc16b0d83","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-11-20T18:03:55Z","title_canon_sha256":"63cfb2401cfcf038aed9870ba9706392682245ee2f3d457a4932067382122ded"},"schema_version":"1.0","source":{"id":"1511.06710","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.06710","created_at":"2026-05-18T01:13:09Z"},{"alias_kind":"arxiv_version","alias_value":"1511.06710v3","created_at":"2026-05-18T01:13:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.06710","created_at":"2026-05-18T01:13:09Z"},{"alias_kind":"pith_short_12","alias_value":"NKRXDPYPASQY","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"NKRXDPYPASQYEFX5","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"NKRXDPYP","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:e76b21584493c760d283d56f6ee0ed5a071c7a18c8b2aa96b7d7c26df0042688","target":"graph","created_at":"2026-05-18T01:13:09Z","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 present a unifying framework for generating extended formulations for the polyhedral outer approximations used in algorithms for mixed-integer convex programming (MICP). Extended formulations lead to fewer iterations of outer approximation algorithms and generally faster solution times. First, we observe that all MICP instances from the MINLPLIB2 benchmark library are conic representable with standard symmetric and nonsymmetric cones. Conic reformulations are shown to be effective extended formulations themselves because they encode separability structure. For mixed-integer conic-representa","authors_text":"Emre Yamangil, Juan Pablo Vielma, Miles Lubin, Russell Bent","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-11-20T18:03:55Z","title":"Extended Formulations in Mixed-integer Convex Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.06710","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:f7b0b4f57145e0f69ce469eec4576a4a21beee0c59baaf0780e620d764e6e617","target":"record","created_at":"2026-05-18T01:13:09Z","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":"c8ce5f318b4da29889ad1673ecbfab0c2bdee1b3ec75569d44fb2a2bc16b0d83","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-11-20T18:03:55Z","title_canon_sha256":"63cfb2401cfcf038aed9870ba9706392682245ee2f3d457a4932067382122ded"},"schema_version":"1.0","source":{"id":"1511.06710","kind":"arxiv","version":3}},"canonical_sha256":"6aa371bf0f04a18216fd1c9c4d9020fca82ef5af88d1ea9a501409338da6222f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6aa371bf0f04a18216fd1c9c4d9020fca82ef5af88d1ea9a501409338da6222f","first_computed_at":"2026-05-18T01:13:09.555265Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:09.555265Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hbH9/pDpM36laViBJNcnrKdfptnTdUziFrAf5nVlVmzoYV9+om4h3oB5eW06z4mISO6nQTh0I8q8y6EhtXOKAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:09.555669Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.06710","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f7b0b4f57145e0f69ce469eec4576a4a21beee0c59baaf0780e620d764e6e617","sha256:e76b21584493c760d283d56f6ee0ed5a071c7a18c8b2aa96b7d7c26df0042688"],"state_sha256":"1cd5f9d33fc50bce29686055a0598ba442e66c1a1b1b270172ecf61e7d33ee9b"}