{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:ARISGCTSI3SNU7P6SEQR6XDZZZ","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":"36a15b6983ae53dfeb261dcfdefec51490398d945a8d17d6412691c174e15f1d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-04-29T12:41:53Z","title_canon_sha256":"feee5b886766099b7aa21bfce321084a141e801d1c63b9507f0c0dbb9dd454b6"},"schema_version":"1.0","source":{"id":"1504.07834","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07834","created_at":"2026-05-18T01:03:23Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07834v1","created_at":"2026-05-18T01:03:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07834","created_at":"2026-05-18T01:03:23Z"},{"alias_kind":"pith_short_12","alias_value":"ARISGCTSI3SN","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"ARISGCTSI3SNU7P6","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"ARISGCTS","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:afbdc6370e2ff8f8faac1684dfba347ebdbd365b836ece68fdb208a9a8cd681b","target":"graph","created_at":"2026-05-18T01:03: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":"Fixed parameter tractable algorithms for bounded treewidth are known to exist for a wide class of graph optimization problems. While most research in this area has been focused on exact algorithms, it is hard to find decompositions of treewidth sufficiently small to make these al- gorithms fast enough for practical use. Consequently, tree decomposition based algorithms have limited applicability to large scale optimization. However, by first reducing the input graph so that a small width tree decomposition can be found, we can harness the power of tree decomposi- tion based techniques in a heu","authors_text":"Thomas Bosman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-04-29T12:41:53Z","title":"A Solution Merging Heuristic for the Steiner Problem in Graphs Using Tree Decompositions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07834","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:a77db66291d88a33d48cc65fdc9cbc9dfdb64feb30d37b97658a9b377932abe7","target":"record","created_at":"2026-05-18T01:03: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":"36a15b6983ae53dfeb261dcfdefec51490398d945a8d17d6412691c174e15f1d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-04-29T12:41:53Z","title_canon_sha256":"feee5b886766099b7aa21bfce321084a141e801d1c63b9507f0c0dbb9dd454b6"},"schema_version":"1.0","source":{"id":"1504.07834","kind":"arxiv","version":1}},"canonical_sha256":"0451230a7246e4da7dfe91211f5c79ce7acda2648a58829657a840e9459ebea1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0451230a7246e4da7dfe91211f5c79ce7acda2648a58829657a840e9459ebea1","first_computed_at":"2026-05-18T01:03:23.835515Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:03:23.835515Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5Oq8Y2u75zdJRM7lcsV6JPXmufP8TNvo6V33iIOkM6z7qOS3bQMfLmJbpqsBr65+K50/aPNJS+SO+iCSjYcOAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:03:23.835950Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.07834","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a77db66291d88a33d48cc65fdc9cbc9dfdb64feb30d37b97658a9b377932abe7","sha256:afbdc6370e2ff8f8faac1684dfba347ebdbd365b836ece68fdb208a9a8cd681b"],"state_sha256":"7f50fb1cd8c6f8ee2686306177c13e05e8700c329e8c3481e48fb330b3916028"}