{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:3G6NPBNFZ3KJZP3FEZ4JZGOPJ3","short_pith_number":"pith:3G6NPBNF","canonical_record":{"source":{"id":"0906.5171","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-06-28T21:05:55Z","cross_cats_sorted":[],"title_canon_sha256":"c5e54db58a196cac0e6e30f79d8615467b633a2e12c75f2f8753dcdc5fffbe14","abstract_canon_sha256":"69cc9d42df1b7309a8585e15bea0de44766a32a0d11880182cb6ab7a719bd471"},"schema_version":"1.0"},"canonical_sha256":"d9bcd785a5ced49cbf6526789c99cf4ef92ae83dd978e7c868648788a25d3e6b","source":{"kind":"arxiv","id":"0906.5171","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0906.5171","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"arxiv_version","alias_value":"0906.5171v1","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0906.5171","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"pith_short_12","alias_value":"3G6NPBNFZ3KJ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"3G6NPBNFZ3KJZP3F","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"3G6NPBNF","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:3G6NPBNFZ3KJZP3FEZ4JZGOPJ3","target":"record","payload":{"canonical_record":{"source":{"id":"0906.5171","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-06-28T21:05:55Z","cross_cats_sorted":[],"title_canon_sha256":"c5e54db58a196cac0e6e30f79d8615467b633a2e12c75f2f8753dcdc5fffbe14","abstract_canon_sha256":"69cc9d42df1b7309a8585e15bea0de44766a32a0d11880182cb6ab7a719bd471"},"schema_version":"1.0"},"canonical_sha256":"d9bcd785a5ced49cbf6526789c99cf4ef92ae83dd978e7c868648788a25d3e6b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:41.071258Z","signature_b64":"Of1yM74VGfmHHeLwNlUhTqt8jJs8HT7fzTFj20Rsa6pCErdjxlGVPFMz+YwpfbLJpn8KVQWn5favKSxz8t4LAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d9bcd785a5ced49cbf6526789c99cf4ef92ae83dd978e7c868648788a25d3e6b","last_reissued_at":"2026-05-18T00:53:41.070741Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:41.070741Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0906.5171","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:53:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dsJ0w/9rG0O0l6s1N8gTbIMWKQLKCoowzyXu2K5+H53O3mZkP8lEPZna/Jyju6WlGHmFAYMf4SlBKiy2yd9sBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:22:36.843823Z"},"content_sha256":"494710ce673dc0b6249d028ab947a1a5254686cfdaaf5b7b7455ef85082ec41c","schema_version":"1.0","event_id":"sha256:494710ce673dc0b6249d028ab947a1a5254686cfdaaf5b7b7455ef85082ec41c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:3G6NPBNFZ3KJZP3FEZ4JZGOPJ3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Nonlinear Integer Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Jon Lee, Matthias K\\\"oppe, Raymond Hemmecke, Robert Weismantel","submitted_at":"2009-06-28T21:05:55Z","abstract_excerpt":"Research efforts of the past fifty years have led to a development of linear integer programming as a mature discipline of mathematical optimization. Such a level of maturity has not been reached when one considers nonlinear systems subject to integrality requirements for the variables. This chapter is dedicated to this topic.\n  The primary goal is a study of a simple version of general nonlinear integer problems, where all constraints are still linear. Our focus is on the computational complexity of the problem, which varies significantly with the type of nonlinear objective function in combi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0906.5171","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:53:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kevQDnYzGv/fvDOq4Jt5gwjlgOwyxBHUXqHhh/5c8BmOCuIPwbcMn/XqFvHFVNvUu/bymJrgLySN2QAZW5EeDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:22:36.844355Z"},"content_sha256":"00e31eb5833c69b8a0dee67f740cba361986c813ec23840038dcb4a7680033ca","schema_version":"1.0","event_id":"sha256:00e31eb5833c69b8a0dee67f740cba361986c813ec23840038dcb4a7680033ca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3G6NPBNFZ3KJZP3FEZ4JZGOPJ3/bundle.json","state_url":"https://pith.science/pith/3G6NPBNFZ3KJZP3FEZ4JZGOPJ3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3G6NPBNFZ3KJZP3FEZ4JZGOPJ3/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-27T21:22:36Z","links":{"resolver":"https://pith.science/pith/3G6NPBNFZ3KJZP3FEZ4JZGOPJ3","bundle":"https://pith.science/pith/3G6NPBNFZ3KJZP3FEZ4JZGOPJ3/bundle.json","state":"https://pith.science/pith/3G6NPBNFZ3KJZP3FEZ4JZGOPJ3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3G6NPBNFZ3KJZP3FEZ4JZGOPJ3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:3G6NPBNFZ3KJZP3FEZ4JZGOPJ3","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":"69cc9d42df1b7309a8585e15bea0de44766a32a0d11880182cb6ab7a719bd471","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-06-28T21:05:55Z","title_canon_sha256":"c5e54db58a196cac0e6e30f79d8615467b633a2e12c75f2f8753dcdc5fffbe14"},"schema_version":"1.0","source":{"id":"0906.5171","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0906.5171","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"arxiv_version","alias_value":"0906.5171v1","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0906.5171","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"pith_short_12","alias_value":"3G6NPBNFZ3KJ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"3G6NPBNFZ3KJZP3F","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"3G6NPBNF","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:00e31eb5833c69b8a0dee67f740cba361986c813ec23840038dcb4a7680033ca","target":"graph","created_at":"2026-05-18T00:53:41Z","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":"Research efforts of the past fifty years have led to a development of linear integer programming as a mature discipline of mathematical optimization. Such a level of maturity has not been reached when one considers nonlinear systems subject to integrality requirements for the variables. This chapter is dedicated to this topic.\n  The primary goal is a study of a simple version of general nonlinear integer problems, where all constraints are still linear. Our focus is on the computational complexity of the problem, which varies significantly with the type of nonlinear objective function in combi","authors_text":"Jon Lee, Matthias K\\\"oppe, Raymond Hemmecke, Robert Weismantel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-06-28T21:05:55Z","title":"Nonlinear Integer Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0906.5171","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:494710ce673dc0b6249d028ab947a1a5254686cfdaaf5b7b7455ef85082ec41c","target":"record","created_at":"2026-05-18T00:53:41Z","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":"69cc9d42df1b7309a8585e15bea0de44766a32a0d11880182cb6ab7a719bd471","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-06-28T21:05:55Z","title_canon_sha256":"c5e54db58a196cac0e6e30f79d8615467b633a2e12c75f2f8753dcdc5fffbe14"},"schema_version":"1.0","source":{"id":"0906.5171","kind":"arxiv","version":1}},"canonical_sha256":"d9bcd785a5ced49cbf6526789c99cf4ef92ae83dd978e7c868648788a25d3e6b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d9bcd785a5ced49cbf6526789c99cf4ef92ae83dd978e7c868648788a25d3e6b","first_computed_at":"2026-05-18T00:53:41.070741Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:41.070741Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Of1yM74VGfmHHeLwNlUhTqt8jJs8HT7fzTFj20Rsa6pCErdjxlGVPFMz+YwpfbLJpn8KVQWn5favKSxz8t4LAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:41.071258Z","signed_message":"canonical_sha256_bytes"},"source_id":"0906.5171","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:494710ce673dc0b6249d028ab947a1a5254686cfdaaf5b7b7455ef85082ec41c","sha256:00e31eb5833c69b8a0dee67f740cba361986c813ec23840038dcb4a7680033ca"],"state_sha256":"c7899330c78326117f3e91cd932aa49acbc1256f4fc0e0a3b3c1684637b9bb68"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kh/AO+SJx8FN1dCs+/NhkCJf0Hry6Qs7FHld82g3IfFS5PI5I5Aqm9WqbdUwRGDoiqGBUWsWIWFx5v/btqcWDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T21:22:36.847060Z","bundle_sha256":"4c708fa8babcb3a989e8c3529dd549081d0fa495e3c9498f421cf13dfbf5a0f7"}}