{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:7NEKGICM2QXNHWUHSQPYSOBKKE","short_pith_number":"pith:7NEKGICM","schema_version":"1.0","canonical_sha256":"fb48a3204cd42ed3da87941f89382a5114f5a9144677a8254e6ed78025ae9c7c","source":{"kind":"arxiv","id":"1709.08949","version":1},"attestation_state":"computed","paper":{"title":"Computing Tree Decompositions with FlowCutter: PACE 2017 Submission","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Ben Strasser","submitted_at":"2017-09-26T11:34:38Z","abstract_excerpt":"We describe the algorithm behind our PACE 2017 submission to the heuristic tree decomposition computation track. It was the only competitor to solve all instances and won a tight second place. The algorithm was originally developed in the context of accelerating shortest path computation on road graphs using multilevel partitions. We illustrate how this seemingly unrelated field fits into tree decomposition and parameterized complexity theory."},"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":"1709.08949","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-09-26T11:34:38Z","cross_cats_sorted":[],"title_canon_sha256":"cc2f254fa475472d52ed248202582e3a3ab7127f53515f43d9eb6053b6cc3bbe","abstract_canon_sha256":"5f213e2ae5718ba017474fad7045a05381eade495af7a6d2f12731ff9ca1d171"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:34:21.503307Z","signature_b64":"rYk+2qmlhYNcpZQrvi8vU1zmVPjXscN5O7DE5PZrvDZXz0LvaRSUacsHPqcra0uNPsmLSQA1VO6WyJoBd8ThAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb48a3204cd42ed3da87941f89382a5114f5a9144677a8254e6ed78025ae9c7c","last_reissued_at":"2026-05-18T00:34:21.502656Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:34:21.502656Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computing Tree Decompositions with FlowCutter: PACE 2017 Submission","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Ben Strasser","submitted_at":"2017-09-26T11:34:38Z","abstract_excerpt":"We describe the algorithm behind our PACE 2017 submission to the heuristic tree decomposition computation track. It was the only competitor to solve all instances and won a tight second place. The algorithm was originally developed in the context of accelerating shortest path computation on road graphs using multilevel partitions. We illustrate how this seemingly unrelated field fits into tree decomposition and parameterized complexity theory."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.08949","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1709.08949","created_at":"2026-05-18T00:34:21.502761+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.08949v1","created_at":"2026-05-18T00:34:21.502761+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.08949","created_at":"2026-05-18T00:34:21.502761+00:00"},{"alias_kind":"pith_short_12","alias_value":"7NEKGICM2QXN","created_at":"2026-05-18T12:31:05.417338+00:00"},{"alias_kind":"pith_short_16","alias_value":"7NEKGICM2QXNHWUH","created_at":"2026-05-18T12:31:05.417338+00:00"},{"alias_kind":"pith_short_8","alias_value":"7NEKGICM","created_at":"2026-05-18T12:31:05.417338+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/7NEKGICM2QXNHWUHSQPYSOBKKE","json":"https://pith.science/pith/7NEKGICM2QXNHWUHSQPYSOBKKE.json","graph_json":"https://pith.science/api/pith-number/7NEKGICM2QXNHWUHSQPYSOBKKE/graph.json","events_json":"https://pith.science/api/pith-number/7NEKGICM2QXNHWUHSQPYSOBKKE/events.json","paper":"https://pith.science/paper/7NEKGICM"},"agent_actions":{"view_html":"https://pith.science/pith/7NEKGICM2QXNHWUHSQPYSOBKKE","download_json":"https://pith.science/pith/7NEKGICM2QXNHWUHSQPYSOBKKE.json","view_paper":"https://pith.science/paper/7NEKGICM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.08949&json=true","fetch_graph":"https://pith.science/api/pith-number/7NEKGICM2QXNHWUHSQPYSOBKKE/graph.json","fetch_events":"https://pith.science/api/pith-number/7NEKGICM2QXNHWUHSQPYSOBKKE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7NEKGICM2QXNHWUHSQPYSOBKKE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7NEKGICM2QXNHWUHSQPYSOBKKE/action/storage_attestation","attest_author":"https://pith.science/pith/7NEKGICM2QXNHWUHSQPYSOBKKE/action/author_attestation","sign_citation":"https://pith.science/pith/7NEKGICM2QXNHWUHSQPYSOBKKE/action/citation_signature","submit_replication":"https://pith.science/pith/7NEKGICM2QXNHWUHSQPYSOBKKE/action/replication_record"}},"created_at":"2026-05-18T00:34:21.502761+00:00","updated_at":"2026-05-18T00:34:21.502761+00:00"}