{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:WACFOGKWDCN2UPLUE453EDXLGT","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":"29fd953b96eefc116a6cc357616d099ce76202527a6ae321b367bce22ddd8a21","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-22T08:35:41Z","title_canon_sha256":"1a327c04ab37a662ad283cce09a9cb8cd494e62c0c311aca24f504554c18d724"},"schema_version":"1.0","source":{"id":"1805.08456","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.08456","created_at":"2026-05-18T00:15:26Z"},{"alias_kind":"arxiv_version","alias_value":"1805.08456v1","created_at":"2026-05-18T00:15:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.08456","created_at":"2026-05-18T00:15:26Z"},{"alias_kind":"pith_short_12","alias_value":"WACFOGKWDCN2","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"WACFOGKWDCN2UPLU","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"WACFOGKW","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:a09c314548e11b120f0a7a715027cedd76c76b783416815b0fd03cce6744296a","target":"graph","created_at":"2026-05-18T00:15:26Z","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":"We propose reductions to quantified Boolean formulas (QBF) as a new approach to showing fixed-parameter linear algorithms for problems parameterized by treewidth. We demonstrate the feasibility of this approach by giving new algorithms for several well-known problems from artificial intelligence that are in general complete for the second level of the polynomial hierarchy. By reduction from QBF we show that all resulting algorithms are essentially optimal in their dependence on the treewidth. Most of the problems that we consider were already known to be fixed-parameter linear by using Courcel","authors_text":"Michael Lampis, Stefan Mengel, Valia Mitsou","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-22T08:35:41Z","title":"QBF as an Alternative to Courcelle's Theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.08456","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:a5adc22d54a9c0a5249b64c865deb40c9490e116662109f9270412ccf6f8b80c","target":"record","created_at":"2026-05-18T00:15:26Z","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":"29fd953b96eefc116a6cc357616d099ce76202527a6ae321b367bce22ddd8a21","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-22T08:35:41Z","title_canon_sha256":"1a327c04ab37a662ad283cce09a9cb8cd494e62c0c311aca24f504554c18d724"},"schema_version":"1.0","source":{"id":"1805.08456","kind":"arxiv","version":1}},"canonical_sha256":"b004571956189baa3d74273bb20eeb34e9a1481003263b394f6ced559c495c1c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b004571956189baa3d74273bb20eeb34e9a1481003263b394f6ced559c495c1c","first_computed_at":"2026-05-18T00:15:26.403307Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:26.403307Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7Svw/ocO7DrDGx9IO9RtDa+L4Sjy/R+iBEQJLYXKDcRgLI9Uj2Xj0j3P5R6Gzlpd5bGRPmp1tJiFrV4EJg8vBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:26.403963Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.08456","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a5adc22d54a9c0a5249b64c865deb40c9490e116662109f9270412ccf6f8b80c","sha256:a09c314548e11b120f0a7a715027cedd76c76b783416815b0fd03cce6744296a"],"state_sha256":"32fbf98e99272879b4fceacb4da9e32741d9c3af2660f8afed5a7baf8a63a507"}