{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2009:XNTAFBY5TYSRDQXHRN5UFAG55H","short_pith_number":"pith:XNTAFBY5","schema_version":"1.0","canonical_sha256":"bb6602871d9e2511c2e78b7b4280dde9d1f1f55c423f542f983f7022c4d64d3a","source":{"kind":"arxiv","id":"0905.0848","version":1},"attestation_state":"computed","paper":{"title":"Solving the 0-1 Multidimensional Knapsack Problem with Resolution Search","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DM","authors_text":"EMA), Michel Vasquez (LGI2P, Philippe Michelon (LIA), Said Hanafi (LAMIH), Sylvain Boussier (LIA), Yannick Vimont (LGI2P)","submitted_at":"2009-05-06T14:58:02Z","abstract_excerpt":"We propose an exact method which combines the resolution search and branch & bound algorithms for solving the 0?1 Multidimensional Knapsack Problem. This algorithm is able to prove large?scale strong correlated instances. The optimal values of the 10 constraint, 500 variable instances of the OR-Library are exposed. These values were previously unknown."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"0905.0848","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2009-05-06T14:58:02Z","cross_cats_sorted":[],"title_canon_sha256":"0272005c31833be069bb731bb41d462063496ea5417e6349111eb795f0ebda65","abstract_canon_sha256":"b39b7b885b1f7e2e6faa3f7fadf1bb6c548153a0c748127a626f176792dce8c1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T15:42:13.641607Z","signature_b64":"6PpjC5R/E6O1bKwbEC3sIsbpCWqs/QO7B2prT8iy6N9nNwkx0VpI7B9v1MNl/VshG9nGPPOYp1v70hUi+7n5AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bb6602871d9e2511c2e78b7b4280dde9d1f1f55c423f542f983f7022c4d64d3a","last_reissued_at":"2026-07-04T15:42:13.641181Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T15:42:13.641181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Solving the 0-1 Multidimensional Knapsack Problem with Resolution Search","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DM","authors_text":"EMA), Michel Vasquez (LGI2P, Philippe Michelon (LIA), Said Hanafi (LAMIH), Sylvain Boussier (LIA), Yannick Vimont (LGI2P)","submitted_at":"2009-05-06T14:58:02Z","abstract_excerpt":"We propose an exact method which combines the resolution search and branch & bound algorithms for solving the 0?1 Multidimensional Knapsack Problem. This algorithm is able to prove large?scale strong correlated instances. The optimal values of the 10 constraint, 500 variable instances of the OR-Library are exposed. These values were previously unknown."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0905.0848","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/0905.0848/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"0905.0848","created_at":"2026-07-04T15:42:13.641238+00:00"},{"alias_kind":"arxiv_version","alias_value":"0905.0848v1","created_at":"2026-07-04T15:42:13.641238+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0905.0848","created_at":"2026-07-04T15:42:13.641238+00:00"},{"alias_kind":"pith_short_12","alias_value":"XNTAFBY5TYSR","created_at":"2026-07-04T15:42:13.641238+00:00"},{"alias_kind":"pith_short_16","alias_value":"XNTAFBY5TYSRDQXH","created_at":"2026-07-04T15:42:13.641238+00:00"},{"alias_kind":"pith_short_8","alias_value":"XNTAFBY5","created_at":"2026-07-04T15:42:13.641238+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XNTAFBY5TYSRDQXHRN5UFAG55H","json":"https://pith.science/pith/XNTAFBY5TYSRDQXHRN5UFAG55H.json","graph_json":"https://pith.science/api/pith-number/XNTAFBY5TYSRDQXHRN5UFAG55H/graph.json","events_json":"https://pith.science/api/pith-number/XNTAFBY5TYSRDQXHRN5UFAG55H/events.json","paper":"https://pith.science/paper/XNTAFBY5"},"agent_actions":{"view_html":"https://pith.science/pith/XNTAFBY5TYSRDQXHRN5UFAG55H","download_json":"https://pith.science/pith/XNTAFBY5TYSRDQXHRN5UFAG55H.json","view_paper":"https://pith.science/paper/XNTAFBY5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0905.0848&json=true","fetch_graph":"https://pith.science/api/pith-number/XNTAFBY5TYSRDQXHRN5UFAG55H/graph.json","fetch_events":"https://pith.science/api/pith-number/XNTAFBY5TYSRDQXHRN5UFAG55H/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XNTAFBY5TYSRDQXHRN5UFAG55H/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XNTAFBY5TYSRDQXHRN5UFAG55H/action/storage_attestation","attest_author":"https://pith.science/pith/XNTAFBY5TYSRDQXHRN5UFAG55H/action/author_attestation","sign_citation":"https://pith.science/pith/XNTAFBY5TYSRDQXHRN5UFAG55H/action/citation_signature","submit_replication":"https://pith.science/pith/XNTAFBY5TYSRDQXHRN5UFAG55H/action/replication_record"}},"created_at":"2026-07-04T15:42:13.641238+00:00","updated_at":"2026-07-04T15:42:13.641238+00:00"}