{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:LD5ZDIBNO3FJHCVH2UUYU2KCVY","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":"367b63dc590e0ac3664a7463b5d395d7eebe7c835bd962110a286da30862de25","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-02-07T12:41:41Z","title_canon_sha256":"29a8edd625a705e7bd8927d4d2360d19ead5f1774253117e66b9fe2d8f389873"},"schema_version":"1.0","source":{"id":"1902.02591","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.02591","created_at":"2026-05-17T23:54:32Z"},{"alias_kind":"arxiv_version","alias_value":"1902.02591v1","created_at":"2026-05-17T23:54:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.02591","created_at":"2026-05-17T23:54:32Z"},{"alias_kind":"pith_short_12","alias_value":"LD5ZDIBNO3FJ","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"LD5ZDIBNO3FJHCVH","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"LD5ZDIBN","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:69720bed87e09ef3455c34c5e4c0a40ffc3237487951ca7b5c088cc6457ea670","target":"graph","created_at":"2026-05-17T23:54:32Z","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":"Mixed integer nonlinear programs (MINLPs) are arguably among the hardest optimization problems, with a wide range of applications. MINLP solvers that are based on linear relaxations and spatial branching work similar as mixed integer programming (MIP) solvers in the sense that they are based on a branch-and-cut algorithm, enhanced by various heuristics, domain propagation, and presolving techniques. However, the analysis of infeasible subproblems, which is an important component of most major MIP solvers, has been hardly studied in the context of MINLPs. There are two main approaches for infea","authors_text":"Jakob Witzig, Stefan Heinz, Timo Berthold","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-02-07T12:41:41Z","title":"A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.02591","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:5663838e91dd571f11e5fd74f1709f6b6540d0477fee64524a5cacb8958cf9e4","target":"record","created_at":"2026-05-17T23:54:32Z","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":"367b63dc590e0ac3664a7463b5d395d7eebe7c835bd962110a286da30862de25","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-02-07T12:41:41Z","title_canon_sha256":"29a8edd625a705e7bd8927d4d2360d19ead5f1774253117e66b9fe2d8f389873"},"schema_version":"1.0","source":{"id":"1902.02591","kind":"arxiv","version":1}},"canonical_sha256":"58fb91a02d76ca938aa7d5298a6942ae031cb03b57659cfffaee61bdfa7fc982","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"58fb91a02d76ca938aa7d5298a6942ae031cb03b57659cfffaee61bdfa7fc982","first_computed_at":"2026-05-17T23:54:32.747837Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:32.747837Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S/ICafEtbZmfgeVXWKa6lQhLuSjYbXkf8XtBkgUMoY5PvedCZze/Ooo9lgYVvjMxsDy+T3BGkxyKIonn0jJCBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:32.748478Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.02591","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5663838e91dd571f11e5fd74f1709f6b6540d0477fee64524a5cacb8958cf9e4","sha256:69720bed87e09ef3455c34c5e4c0a40ffc3237487951ca7b5c088cc6457ea670"],"state_sha256":"8ce15eea743736209edcccd90cd8b4b5072fc85215fd56e2c11adbaff3b4207d"}