{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:JCVI6FPLUKQCRMOXXZXYTMB6OP","short_pith_number":"pith:JCVI6FPL","canonical_record":{"source":{"id":"1711.02120","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-11-06T19:14:43Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"382850c69bd9c50da5a3ee25b8533343efd415f5c5258b8e1e463466b57573f0","abstract_canon_sha256":"39805d94583442e8b2f8ff2371ca8efd1c44019ca8f48c9e6a743df755863c98"},"schema_version":"1.0"},"canonical_sha256":"48aa8f15eba2a028b1d7be6f89b03e73cae12772aa3c685314b3fd553aee7f93","source":{"kind":"arxiv","id":"1711.02120","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.02120","created_at":"2026-05-18T00:31:10Z"},{"alias_kind":"arxiv_version","alias_value":"1711.02120v1","created_at":"2026-05-18T00:31:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.02120","created_at":"2026-05-18T00:31:10Z"},{"alias_kind":"pith_short_12","alias_value":"JCVI6FPLUKQC","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"JCVI6FPLUKQCRMOX","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"JCVI6FPL","created_at":"2026-05-18T12:31:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:JCVI6FPLUKQCRMOXXZXYTMB6OP","target":"record","payload":{"canonical_record":{"source":{"id":"1711.02120","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-11-06T19:14:43Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"382850c69bd9c50da5a3ee25b8533343efd415f5c5258b8e1e463466b57573f0","abstract_canon_sha256":"39805d94583442e8b2f8ff2371ca8efd1c44019ca8f48c9e6a743df755863c98"},"schema_version":"1.0"},"canonical_sha256":"48aa8f15eba2a028b1d7be6f89b03e73cae12772aa3c685314b3fd553aee7f93","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:10.926537Z","signature_b64":"oXeVE3yniLgeYtHxH6J9typcQ70LOSr8jwbaDnqAql9vhDigivlRgbP/vxJLL735WMsEeWu5oSgTYnLa4sSkBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"48aa8f15eba2a028b1d7be6f89b03e73cae12772aa3c685314b3fd553aee7f93","last_reissued_at":"2026-05-18T00:31:10.925908Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:10.925908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.02120","source_version":1,"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:31:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jBsveJnw/5uMa0FK6If/gVqGQVX8NO6tDglo1JdIAX7B4jFMc03Ul0zjR0phTiPf6ofhFOkZ3sQSVDvOWcw4Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T19:19:27.428699Z"},"content_sha256":"75cdfae7e1f473aa15289204565271d467066af7c665a43018efd17b56d505d8","schema_version":"1.0","event_id":"sha256:75cdfae7e1f473aa15289204565271d467066af7c665a43018efd17b56d505d8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:JCVI6FPLUKQCRMOXXZXYTMB6OP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Small Resolution Proofs for QBF using Dependency Treewidth","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DS","authors_text":"Eduard Eiben, Robert Ganian, Sebastian Ordyniak","submitted_at":"2017-11-06T19:14:43Z","abstract_excerpt":"In spite of the close connection between the evaluation of quantified Boolean formulas (QBF) and propositional satisfiability (SAT), tools and techniques which exploit structural properties of SAT instances are known to fail for QBF. This is especially true for the structural parameter treewidth, which has allowed the design of successful algorithms for SAT but cannot be straightforwardly applied to QBF since it does not take into account the interdependencies between quantified variables.\n  In this work we introduce and develop dependency treewidth, a new structural parameter based on treewid"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.02120","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"},"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:31:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fdaasL7G8qVcaV+XgdRwcSdAr9gygNH9BYCmIh3iknWWc9JxgkjnDKnDeNZQiyNhk6sRsaczmh4w6Tsljdl/Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T19:19:27.429042Z"},"content_sha256":"f46f2b89510a3641703816c319269b6900ff195626973236706e3506279f1f30","schema_version":"1.0","event_id":"sha256:f46f2b89510a3641703816c319269b6900ff195626973236706e3506279f1f30"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JCVI6FPLUKQCRMOXXZXYTMB6OP/bundle.json","state_url":"https://pith.science/pith/JCVI6FPLUKQCRMOXXZXYTMB6OP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JCVI6FPLUKQCRMOXXZXYTMB6OP/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-27T19:19:27Z","links":{"resolver":"https://pith.science/pith/JCVI6FPLUKQCRMOXXZXYTMB6OP","bundle":"https://pith.science/pith/JCVI6FPLUKQCRMOXXZXYTMB6OP/bundle.json","state":"https://pith.science/pith/JCVI6FPLUKQCRMOXXZXYTMB6OP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JCVI6FPLUKQCRMOXXZXYTMB6OP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JCVI6FPLUKQCRMOXXZXYTMB6OP","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":"39805d94583442e8b2f8ff2371ca8efd1c44019ca8f48c9e6a743df755863c98","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-11-06T19:14:43Z","title_canon_sha256":"382850c69bd9c50da5a3ee25b8533343efd415f5c5258b8e1e463466b57573f0"},"schema_version":"1.0","source":{"id":"1711.02120","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.02120","created_at":"2026-05-18T00:31:10Z"},{"alias_kind":"arxiv_version","alias_value":"1711.02120v1","created_at":"2026-05-18T00:31:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.02120","created_at":"2026-05-18T00:31:10Z"},{"alias_kind":"pith_short_12","alias_value":"JCVI6FPLUKQC","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"JCVI6FPLUKQCRMOX","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"JCVI6FPL","created_at":"2026-05-18T12:31:21Z"}],"graph_snapshots":[{"event_id":"sha256:f46f2b89510a3641703816c319269b6900ff195626973236706e3506279f1f30","target":"graph","created_at":"2026-05-18T00:31:10Z","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":"In spite of the close connection between the evaluation of quantified Boolean formulas (QBF) and propositional satisfiability (SAT), tools and techniques which exploit structural properties of SAT instances are known to fail for QBF. This is especially true for the structural parameter treewidth, which has allowed the design of successful algorithms for SAT but cannot be straightforwardly applied to QBF since it does not take into account the interdependencies between quantified variables.\n  In this work we introduce and develop dependency treewidth, a new structural parameter based on treewid","authors_text":"Eduard Eiben, Robert Ganian, Sebastian Ordyniak","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-11-06T19:14:43Z","title":"Small Resolution Proofs for QBF using Dependency Treewidth"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.02120","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:75cdfae7e1f473aa15289204565271d467066af7c665a43018efd17b56d505d8","target":"record","created_at":"2026-05-18T00:31:10Z","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":"39805d94583442e8b2f8ff2371ca8efd1c44019ca8f48c9e6a743df755863c98","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-11-06T19:14:43Z","title_canon_sha256":"382850c69bd9c50da5a3ee25b8533343efd415f5c5258b8e1e463466b57573f0"},"schema_version":"1.0","source":{"id":"1711.02120","kind":"arxiv","version":1}},"canonical_sha256":"48aa8f15eba2a028b1d7be6f89b03e73cae12772aa3c685314b3fd553aee7f93","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"48aa8f15eba2a028b1d7be6f89b03e73cae12772aa3c685314b3fd553aee7f93","first_computed_at":"2026-05-18T00:31:10.925908Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:10.925908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oXeVE3yniLgeYtHxH6J9typcQ70LOSr8jwbaDnqAql9vhDigivlRgbP/vxJLL735WMsEeWu5oSgTYnLa4sSkBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:10.926537Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.02120","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:75cdfae7e1f473aa15289204565271d467066af7c665a43018efd17b56d505d8","sha256:f46f2b89510a3641703816c319269b6900ff195626973236706e3506279f1f30"],"state_sha256":"ea22f74acfbe8490a8bd5fef49007dc75fe394b7a4f9744e7f25fe7f9961e111"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tBW/52b2MH6erqo/J3oleMnTLU3BkQJ9MMcF3rwj7Q7p9dbr+R614nvBVcPX1iIxtHISDGzxfiDjYw2+KtOkAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T19:19:27.430994Z","bundle_sha256":"950ffb07da304ea98449e08d70d4d4550125fa2f4c46a0c8f26597d7a9c8fee0"}}