{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:H44DIXJC7NJ4JNWQL6CNGLGRIW","short_pith_number":"pith:H44DIXJC","canonical_record":{"source":{"id":"1803.10150","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-03-27T15:47:24Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"2ab0b8c12acdc41b2c1eaf134373c97759b51dfb52d963ec25284075f8797ce0","abstract_canon_sha256":"7f923a91eb58b9e4fff386f1ed3c5a80581d7f37b594d7df089a104de2dadbad"},"schema_version":"1.0"},"canonical_sha256":"3f38345d22fb53c4b6d05f84d32cd145a1241f7d75869e733e10f7ef05619a9f","source":{"kind":"arxiv","id":"1803.10150","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.10150","created_at":"2026-05-18T00:15:46Z"},{"alias_kind":"arxiv_version","alias_value":"1803.10150v2","created_at":"2026-05-18T00:15:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.10150","created_at":"2026-05-18T00:15:46Z"},{"alias_kind":"pith_short_12","alias_value":"H44DIXJC7NJ4","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"H44DIXJC7NJ4JNWQ","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"H44DIXJC","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:H44DIXJC7NJ4JNWQL6CNGLGRIW","target":"record","payload":{"canonical_record":{"source":{"id":"1803.10150","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-03-27T15:47:24Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"2ab0b8c12acdc41b2c1eaf134373c97759b51dfb52d963ec25284075f8797ce0","abstract_canon_sha256":"7f923a91eb58b9e4fff386f1ed3c5a80581d7f37b594d7df089a104de2dadbad"},"schema_version":"1.0"},"canonical_sha256":"3f38345d22fb53c4b6d05f84d32cd145a1241f7d75869e733e10f7ef05619a9f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:46.434723Z","signature_b64":"2DHrB6y4RtqXcN9hYU6Il0mU4v44ruj2Bl3u4uLicyv4TKIa7xzUwKCSP4W2MvEGFAmGsXzi7NQxrQQ5qBzoCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3f38345d22fb53c4b6d05f84d32cd145a1241f7d75869e733e10f7ef05619a9f","last_reissued_at":"2026-05-18T00:15:46.434136Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:46.434136Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.10150","source_version":2,"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:15:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3iAtSFfu8CER1jtYD0B4RKAjC+esbBhW0IsS53xN5yQwcNx0wyrxY8XcgAicBBQemxr05SSECfoSDB8XoutCDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T06:18:50.335682Z"},"content_sha256":"4c950e1b45c2cb5fec3ed3f31dcf58551db5c362529a064b20cec51962d8a878","schema_version":"1.0","event_id":"sha256:4c950e1b45c2cb5fec3ed3f31dcf58551db5c362529a064b20cec51962d8a878"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:H44DIXJC7NJ4JNWQL6CNGLGRIW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning to Branch","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.AI","authors_text":"Ellen Vitercik, Maria-Florina Balcan, Travis Dick, Tuomas Sandholm","submitted_at":"2018-03-27T15:47:24Z","abstract_excerpt":"Tree search algorithms, such as branch-and-bound, are the most widely used tools for solving combinatorial and nonconvex problems. For example, they are the foremost method for solving (mixed) integer programs and constraint satisfaction problems. Tree search algorithms recursively partition the search space to find an optimal solution. In order to keep the tree size small, it is crucial to carefully decide, when expanding a tree node, which question (typically variable) to branch on at that node in order to partition the remaining space. Numerous partitioning techniques (e.g., variable select"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.10150","kind":"arxiv","version":2},"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:15:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H57P6PD9GzPPTG5ohs2aJHPr83PbXXlYfaJZvVOIJ2bQadCQOhARkIzFoLiIlHMl8JItjIY4uNbJZ2hDdykNCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T06:18:50.336036Z"},"content_sha256":"c8a40556bdb706814e0c87d3949a79c74016b35074efa4bb2a5db5c6ab16fb3f","schema_version":"1.0","event_id":"sha256:c8a40556bdb706814e0c87d3949a79c74016b35074efa4bb2a5db5c6ab16fb3f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H44DIXJC7NJ4JNWQL6CNGLGRIW/bundle.json","state_url":"https://pith.science/pith/H44DIXJC7NJ4JNWQL6CNGLGRIW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H44DIXJC7NJ4JNWQL6CNGLGRIW/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-06-20T06:18:50Z","links":{"resolver":"https://pith.science/pith/H44DIXJC7NJ4JNWQL6CNGLGRIW","bundle":"https://pith.science/pith/H44DIXJC7NJ4JNWQL6CNGLGRIW/bundle.json","state":"https://pith.science/pith/H44DIXJC7NJ4JNWQL6CNGLGRIW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H44DIXJC7NJ4JNWQL6CNGLGRIW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:H44DIXJC7NJ4JNWQL6CNGLGRIW","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":"7f923a91eb58b9e4fff386f1ed3c5a80581d7f37b594d7df089a104de2dadbad","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-03-27T15:47:24Z","title_canon_sha256":"2ab0b8c12acdc41b2c1eaf134373c97759b51dfb52d963ec25284075f8797ce0"},"schema_version":"1.0","source":{"id":"1803.10150","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.10150","created_at":"2026-05-18T00:15:46Z"},{"alias_kind":"arxiv_version","alias_value":"1803.10150v2","created_at":"2026-05-18T00:15:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.10150","created_at":"2026-05-18T00:15:46Z"},{"alias_kind":"pith_short_12","alias_value":"H44DIXJC7NJ4","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"H44DIXJC7NJ4JNWQ","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"H44DIXJC","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:c8a40556bdb706814e0c87d3949a79c74016b35074efa4bb2a5db5c6ab16fb3f","target":"graph","created_at":"2026-05-18T00:15:46Z","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":"Tree search algorithms, such as branch-and-bound, are the most widely used tools for solving combinatorial and nonconvex problems. For example, they are the foremost method for solving (mixed) integer programs and constraint satisfaction problems. Tree search algorithms recursively partition the search space to find an optimal solution. In order to keep the tree size small, it is crucial to carefully decide, when expanding a tree node, which question (typically variable) to branch on at that node in order to partition the remaining space. Numerous partitioning techniques (e.g., variable select","authors_text":"Ellen Vitercik, Maria-Florina Balcan, Travis Dick, Tuomas Sandholm","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-03-27T15:47:24Z","title":"Learning to Branch"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.10150","kind":"arxiv","version":2},"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:4c950e1b45c2cb5fec3ed3f31dcf58551db5c362529a064b20cec51962d8a878","target":"record","created_at":"2026-05-18T00:15:46Z","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":"7f923a91eb58b9e4fff386f1ed3c5a80581d7f37b594d7df089a104de2dadbad","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-03-27T15:47:24Z","title_canon_sha256":"2ab0b8c12acdc41b2c1eaf134373c97759b51dfb52d963ec25284075f8797ce0"},"schema_version":"1.0","source":{"id":"1803.10150","kind":"arxiv","version":2}},"canonical_sha256":"3f38345d22fb53c4b6d05f84d32cd145a1241f7d75869e733e10f7ef05619a9f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3f38345d22fb53c4b6d05f84d32cd145a1241f7d75869e733e10f7ef05619a9f","first_computed_at":"2026-05-18T00:15:46.434136Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:46.434136Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2DHrB6y4RtqXcN9hYU6Il0mU4v44ruj2Bl3u4uLicyv4TKIa7xzUwKCSP4W2MvEGFAmGsXzi7NQxrQQ5qBzoCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:46.434723Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.10150","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4c950e1b45c2cb5fec3ed3f31dcf58551db5c362529a064b20cec51962d8a878","sha256:c8a40556bdb706814e0c87d3949a79c74016b35074efa4bb2a5db5c6ab16fb3f"],"state_sha256":"01003d1360317f32a042fd6b123658fccf886ea99bb366825539eeb821c48a9e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8QeOT3feOGuv4gR4wEKzyqrdixTx9O/tx8hM5/JGAD5GHVbw+hJ19T9LK3VoTdXwWti3CPElmmXqb105DA/mCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T06:18:50.337960Z","bundle_sha256":"207b98755f70754173b90a8231be32eb8ca42a0ccd0afa3720bbaecf0e4fe9c9"}}