{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:KMWAW3NS4X2RJAA3YXVELMCGTI","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":"24c914813c6135affc6aa8e90595d4535ac523e939ae25482a3a4c2ca0a1e85a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-07-18T07:22:15Z","title_canon_sha256":"fc6dcc7fe9b125c7b23d1582ff5e1810e49ec5bda29bf9631870d5a068b37c62"},"schema_version":"1.0","source":{"id":"1907.07909","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.07909","created_at":"2026-05-17T23:40:15Z"},{"alias_kind":"arxiv_version","alias_value":"1907.07909v1","created_at":"2026-05-17T23:40:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.07909","created_at":"2026-05-17T23:40:15Z"},{"alias_kind":"pith_short_12","alias_value":"KMWAW3NS4X2R","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"KMWAW3NS4X2RJAA3","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"KMWAW3NS","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:8f7bbe13f69e57350a429049f60a2d3a244cabc3ddddaf4f4a994ec6abe71b7e","target":"graph","created_at":"2026-05-17T23:40:15Z","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":"In this paper we introduce a technique to produce tighter cutting planes for mixed-integer non-linear programs. Usually, a cutting plane is generated to cut off a specific infeasible point. The underlying idea is to use the infeasible point to restrict the feasible region in order to obtain a tighter domain. To ensure validity, we require that every valid cut separating the infeasible point from the restricted feasible region is still valid for the original feasible region. We translate this requirement in terms of the separation problem and the reverse polar. In particular, if the reverse pol","authors_text":"Felipe Serrano","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-07-18T07:22:15Z","title":"Visible points, the separation problem, and applications to MINLP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.07909","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:19b3a175f73d545534b2ee9f212bcfeebd47eb42b3c76fb5b671a0fe7a29fdc1","target":"record","created_at":"2026-05-17T23:40:15Z","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":"24c914813c6135affc6aa8e90595d4535ac523e939ae25482a3a4c2ca0a1e85a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-07-18T07:22:15Z","title_canon_sha256":"fc6dcc7fe9b125c7b23d1582ff5e1810e49ec5bda29bf9631870d5a068b37c62"},"schema_version":"1.0","source":{"id":"1907.07909","kind":"arxiv","version":1}},"canonical_sha256":"532c0b6db2e5f514801bc5ea45b0469a17d9dea2cf8a2039ef045a0abcffad4d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"532c0b6db2e5f514801bc5ea45b0469a17d9dea2cf8a2039ef045a0abcffad4d","first_computed_at":"2026-05-17T23:40:15.731296Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:15.731296Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IBfjbjYGkm9X3XI4mI/GB+D76TrV2JvDqYF/xFbWZh7EFgn2efnLvqhC+8VgcZzp4EAfUCDrCpe69eietzpYBA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:15.731931Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.07909","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19b3a175f73d545534b2ee9f212bcfeebd47eb42b3c76fb5b671a0fe7a29fdc1","sha256:8f7bbe13f69e57350a429049f60a2d3a244cabc3ddddaf4f4a994ec6abe71b7e"],"state_sha256":"16ead7fc1bac3082e09fc4cdbe13caf3930d9c5f084c40eafdb1e3314c6e0725"}