{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:R7YM356EAJ76U4O7WRDK7FIMMJ","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":"12d4d4a2ff5f8267737e2d2a9b3a427af28160b32794b4d029e944b6c825f888","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CG","submitted_at":"2025-12-23T10:50:33Z","title_canon_sha256":"fdf91ad2df51fca9c5ff2d61faf6167c172ff704e5730ed074d62b32b0c0ba9b"},"schema_version":"1.0","source":{"id":"2512.20239","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2512.20239","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"arxiv_version","alias_value":"2512.20239v2","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.20239","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"pith_short_12","alias_value":"R7YM356EAJ76","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"pith_short_16","alias_value":"R7YM356EAJ76U4O7","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"pith_short_8","alias_value":"R7YM356E","created_at":"2026-06-19T16:11:18Z"}],"graph_snapshots":[{"event_id":"sha256:43f9d470f4b1a9ad4fed421608b9312ca567d908414fa0b342007fb7a42ee998","target":"graph","created_at":"2026-06-19T16:11:18Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2512.20239/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the two-dimensional hierarchical rectangle packing problem, motivated by applications in analog integrated circuit layout, facility layout, and logistics. Unlike classical strip or bin packing, the dimensions of the container are not fixed, and the packing is inherently hierarchical: each item is either a rectangle or a block occurrence, whose dimensions are a solution of another packing problem. This recursive structure reflects real-world scenarios in which components, boxes, or modules must be packed within higher-level containers. We formally define the problem and propose exact f","authors_text":"Christian Artigues, Cyrille Briand, Emmanuel Hebrard, Josef Grus, Zden\\v{e}k Hanz\\'alek","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CG","submitted_at":"2025-12-23T10:50:33Z","title":"Hierarchical Rectangle Packing Solved by Multi-Level Recursive Logic-based Benders Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2512.20239","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:a55fe0d20fb7c0c57b93715e354f6cb908cd14e25f12296f331d5e4bd23cefd5","target":"record","created_at":"2026-06-19T16:11:18Z","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":"12d4d4a2ff5f8267737e2d2a9b3a427af28160b32794b4d029e944b6c825f888","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CG","submitted_at":"2025-12-23T10:50:33Z","title_canon_sha256":"fdf91ad2df51fca9c5ff2d61faf6167c172ff704e5730ed074d62b32b0c0ba9b"},"schema_version":"1.0","source":{"id":"2512.20239","kind":"arxiv","version":2}},"canonical_sha256":"8ff0cdf7c4027fea71dfb446af950c624ec496201e434ca4e2fbf7a715dc5404","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8ff0cdf7c4027fea71dfb446af950c624ec496201e434ca4e2fbf7a715dc5404","first_computed_at":"2026-06-19T16:11:18.731814Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:11:18.731814Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"F+JL9KRvJYgiE8fw1P6imo1S1QDzXoSDg2jh1ytzc0iTCWwDHf6wMSQIBumYndBrZC0S+V9oHfin8RkyFezCBA==","signature_status":"signed_v1","signed_at":"2026-06-19T16:11:18.732240Z","signed_message":"canonical_sha256_bytes"},"source_id":"2512.20239","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a55fe0d20fb7c0c57b93715e354f6cb908cd14e25f12296f331d5e4bd23cefd5","sha256:43f9d470f4b1a9ad4fed421608b9312ca567d908414fa0b342007fb7a42ee998"],"state_sha256":"c0ff75c817b567c21ee8775491e2a3941de5264087371c8b711f5e43be43d38c"}