{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:HREQWTD7BCJ4VPUVWYBWA7ZNE3","short_pith_number":"pith:HREQWTD7","canonical_record":{"source":{"id":"1702.01332","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-04T19:49:06Z","cross_cats_sorted":["cs.MS"],"title_canon_sha256":"ad107f68cd34875ceaa999ae3128bca0e71139652c32e451a9e97498c7fcf5b3","abstract_canon_sha256":"0276294d0571d4a4fdac8dfc9c73f358a36936dc9916a84ca65d8e9a16ca76ab"},"schema_version":"1.0"},"canonical_sha256":"3c490b4c7f0893cabe95b603607f2d26eef1570e2211ea2cc74ff218af39958e","source":{"kind":"arxiv","id":"1702.01332","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.01332","created_at":"2026-05-18T00:51:23Z"},{"alias_kind":"arxiv_version","alias_value":"1702.01332v1","created_at":"2026-05-18T00:51:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.01332","created_at":"2026-05-18T00:51:23Z"},{"alias_kind":"pith_short_12","alias_value":"HREQWTD7BCJ4","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"HREQWTD7BCJ4VPUV","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"HREQWTD7","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:HREQWTD7BCJ4VPUVWYBWA7ZNE3","target":"record","payload":{"canonical_record":{"source":{"id":"1702.01332","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-04T19:49:06Z","cross_cats_sorted":["cs.MS"],"title_canon_sha256":"ad107f68cd34875ceaa999ae3128bca0e71139652c32e451a9e97498c7fcf5b3","abstract_canon_sha256":"0276294d0571d4a4fdac8dfc9c73f358a36936dc9916a84ca65d8e9a16ca76ab"},"schema_version":"1.0"},"canonical_sha256":"3c490b4c7f0893cabe95b603607f2d26eef1570e2211ea2cc74ff218af39958e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:23.747613Z","signature_b64":"5Ykfse0jlJ2HgCB63Ou9/VBdt/heO4ECtqlEJnRtJLOpCeKjxLyrRBc2OaTe9zS5eIplPUc6c4XpAy8pxuS5CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c490b4c7f0893cabe95b603607f2d26eef1570e2211ea2cc74ff218af39958e","last_reissued_at":"2026-05-18T00:51:23.747137Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:23.747137Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.01332","source_version":1,"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-18T00:51:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F2fYihfbSk8U8EX7GG0azP69udkV+Pha8P2pv7tkmQvAY5bamKikOdpHsx+6Dx/vGlEBNQq6fT9+XJXiiDaEDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:15:48.674182Z"},"content_sha256":"2f7ea23b1e87a8c8bf641477230e2e8b0fecca53191ad164705d9950f8288f29","schema_version":"1.0","event_id":"sha256:2f7ea23b1e87a8c8bf641477230e2e8b0fecca53191ad164705d9950f8288f29"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:HREQWTD7BCJ4VPUVWYBWA7ZNE3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MS"],"primary_cat":"cs.AI","authors_text":"Andrea Callia D'Iddio, Michael Huth","submitted_at":"2017-02-04T19:49:06Z","abstract_excerpt":"Optimization of Mixed-Integer Non-Linear Programming (MINLP) supports important decisions in applications such as Chemical Process Engineering. But current solvers have limited ability for deductive reasoning or the use of domain-specific theories, and the management of integrality constraints does not yet exploit automated reasoning tools such as SMT solvers. This seems to limit both scalability and reach of such tools in practice. We therefore present a tool, ManyOpt, for MINLP optimization that enables experimentation with reduction techniques which transform a MINLP problem to feasibility "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.01332","kind":"arxiv","version":1},"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-18T00:51:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AziUMD+NAOMh3mNl9ljHtaAvV+7gZGQXMADPKtdPM9sA7FxVcFpru1D5nSmqKPhznbTkYXZCaEdl7++GQ7X9DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:15:48.674548Z"},"content_sha256":"b79d3896716f830afed6c8deb19873663f933eb541fdf31a2a715e4f63163a32","schema_version":"1.0","event_id":"sha256:b79d3896716f830afed6c8deb19873663f933eb541fdf31a2a715e4f63163a32"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HREQWTD7BCJ4VPUVWYBWA7ZNE3/bundle.json","state_url":"https://pith.science/pith/HREQWTD7BCJ4VPUVWYBWA7ZNE3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HREQWTD7BCJ4VPUVWYBWA7ZNE3/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-05-28T04:15:48Z","links":{"resolver":"https://pith.science/pith/HREQWTD7BCJ4VPUVWYBWA7ZNE3","bundle":"https://pith.science/pith/HREQWTD7BCJ4VPUVWYBWA7ZNE3/bundle.json","state":"https://pith.science/pith/HREQWTD7BCJ4VPUVWYBWA7ZNE3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HREQWTD7BCJ4VPUVWYBWA7ZNE3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:HREQWTD7BCJ4VPUVWYBWA7ZNE3","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":"0276294d0571d4a4fdac8dfc9c73f358a36936dc9916a84ca65d8e9a16ca76ab","cross_cats_sorted":["cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-04T19:49:06Z","title_canon_sha256":"ad107f68cd34875ceaa999ae3128bca0e71139652c32e451a9e97498c7fcf5b3"},"schema_version":"1.0","source":{"id":"1702.01332","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.01332","created_at":"2026-05-18T00:51:23Z"},{"alias_kind":"arxiv_version","alias_value":"1702.01332v1","created_at":"2026-05-18T00:51:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.01332","created_at":"2026-05-18T00:51:23Z"},{"alias_kind":"pith_short_12","alias_value":"HREQWTD7BCJ4","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"HREQWTD7BCJ4VPUV","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"HREQWTD7","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:b79d3896716f830afed6c8deb19873663f933eb541fdf31a2a715e4f63163a32","target":"graph","created_at":"2026-05-18T00:51:23Z","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":"Optimization of Mixed-Integer Non-Linear Programming (MINLP) supports important decisions in applications such as Chemical Process Engineering. But current solvers have limited ability for deductive reasoning or the use of domain-specific theories, and the management of integrality constraints does not yet exploit automated reasoning tools such as SMT solvers. This seems to limit both scalability and reach of such tools in practice. We therefore present a tool, ManyOpt, for MINLP optimization that enables experimentation with reduction techniques which transform a MINLP problem to feasibility ","authors_text":"Andrea Callia D'Iddio, Michael Huth","cross_cats":["cs.MS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-04T19:49:06Z","title":"Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.01332","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:2f7ea23b1e87a8c8bf641477230e2e8b0fecca53191ad164705d9950f8288f29","target":"record","created_at":"2026-05-18T00:51:23Z","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":"0276294d0571d4a4fdac8dfc9c73f358a36936dc9916a84ca65d8e9a16ca76ab","cross_cats_sorted":["cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-04T19:49:06Z","title_canon_sha256":"ad107f68cd34875ceaa999ae3128bca0e71139652c32e451a9e97498c7fcf5b3"},"schema_version":"1.0","source":{"id":"1702.01332","kind":"arxiv","version":1}},"canonical_sha256":"3c490b4c7f0893cabe95b603607f2d26eef1570e2211ea2cc74ff218af39958e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3c490b4c7f0893cabe95b603607f2d26eef1570e2211ea2cc74ff218af39958e","first_computed_at":"2026-05-18T00:51:23.747137Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:23.747137Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5Ykfse0jlJ2HgCB63Ou9/VBdt/heO4ECtqlEJnRtJLOpCeKjxLyrRBc2OaTe9zS5eIplPUc6c4XpAy8pxuS5CA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:23.747613Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.01332","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2f7ea23b1e87a8c8bf641477230e2e8b0fecca53191ad164705d9950f8288f29","sha256:b79d3896716f830afed6c8deb19873663f933eb541fdf31a2a715e4f63163a32"],"state_sha256":"799e7ccf33ca761d97ff8f13d34067a5e66a845f2c826f71189aeccc4f660de0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zplUkud7aA85sfaF9j1ewnPK154/XDuohmv31J324m2zwGQ7eM+MROoZlhYY7ztIYy68wka2mEd4v+91kBNvAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T04:15:48.676546Z","bundle_sha256":"731e594dc8c3cb1d9a8fa6cea1b1b4e0c96f565ea2b3eed8d32f4ae26dbf1ed4"}}