Copertina

Bilateral Treewidth for QBF: Where Strategies and Resolution Meet

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ganian, Robert, Gründel, Marlene
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Data Structures and Algorithms Computational Complexity
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Minimum Stable Cut and Treewidth
di: Lampis, Michael
Pubblicazione: (2021)

Can You Link Up With Treewidth?
di: Curticapean, Radu, et al.
Pubblicazione: (2024)

Residue Domination in Bounded-Treewidth Graphs
di: Greilhuber, Jakob, et al.
Pubblicazione: (2024)

k-SUM Hardness Implies Treewidth-SETH
di: Lampis, Michael
Pubblicazione: (2025)

Generalized Graph Packing Problems Parameterized by Treewidth
di: Esmer, Barış Can, et al.
Pubblicazione: (2025)

Fundamental Problems on Bounded-Treewidth Graphs: The Real Source of Hardness
di: Esmer, Barış Can, et al.
Pubblicazione: (2024)

The Price of Being Partial: Complexity of Partial Generalized Dominating Set on Bounded-Treewidth Graphs
di: Greilhuber, Jakob, et al.
Pubblicazione: (2025)

FPT Approximation using Treewidth: Capacitated Vertex Cover, Target Set Selection and Vector Dominating Set
di: Chu, Huairui, et al.
Pubblicazione: (2023)

Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs Part I: Algorithmic Results
di: Focke, Jacob, et al.
Pubblicazione: (2022)

Self-referential instances of the dominating set problem are irreducible
di: Zhou, Guangyan
Pubblicazione: (2026)

Fantastic Flips and Where to Find Them: A General Framework for Parameterized Local Search on Partitioning Problems
di: Grüttemeier, Niels, et al.
Pubblicazione: (2025)

Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover
di: Foucaud, Florent, et al.
Pubblicazione: (2023)

A Graph Width Perspective on Partially Ordered Hamiltonian Paths and Cycles I: Treewidth, Pathwidth, and Grid Graphs
di: Beisegel, Jesse, et al.
Pubblicazione: (2025)

The Computational Complexity of Positive Non-Clashing Teaching in Graphs
di: Ganian, Robert, et al.
Pubblicazione: (2025)

Core Stability in Additively Separable Hedonic Games of Low Treewidth
di: Hanaka, Tesshu, et al.
Pubblicazione: (2024)

No Price Tags? No Problem: Query Strategies for Unpriced Information
di: Nadimpalli, Shivam, et al.
Pubblicazione: (2025)

NP-Hardness and a PTAS for the Pinwheel Problem
di: Kleinberg, Robert, et al.
Pubblicazione: (2026)

A Simple Proof that Ricochet Robots is PSPACE-Complete
di: Balanza-Martinez, Jose, et al.
Pubblicazione: (2024)

Twin-Width Meets Feedback Edges and Vertex Integrity
di: Balabán, Jakub, et al.
Pubblicazione: (2024)

Neighborhood-Aware Graph Labeling Problem
di: Shahverdikondori, Mohammad, et al.
Pubblicazione: (2026)

Lazy Kronecker Product
di: Song, Zhao
Pubblicazione: (2026)

An Invitation to "Fine-grained Complexity of NP-Complete Problems"
di: Nederlof, Jesper
Pubblicazione: (2026)

Turnstile Streaming Algorithms Might (Still) as Well Be Linear Sketches, for Polynomial-Length Streams
di: Jiang, Cheng, et al.
Pubblicazione: (2026)

A fine-grained dichotomy for the center problem on Gromov hyperbolic graphs
di: Ducoffe, Guillaume
Pubblicazione: (2026)

Automated Lower Bounds for Small Matrix Multiplication Complexity over Finite Fields
di: Wang, Chengu
Pubblicazione: (2026)

Polynomial-Time Almost Log-Space Tree Evaluation by Catalytic Pebbling
di: Asadi, Vahid R., et al.
Pubblicazione: (2026)

The Parameterized Complexity of Scheduling with Precedence Delays: Shuffle Product and Directed Bandwidth
di: Bodlaender, Hans L., et al.
Pubblicazione: (2026)

Online Orthogonal Vectors Revisited
di: Gajulapalli, Karthik, et al.
Pubblicazione: (2026)

Characterizing Streaming Decidability of CSPs via Non-Redundancy
di: Sharma, Amatya, et al.
Pubblicazione: (2026)

The Mystery Deepens: On the Query Complexity of Tarski Fixed Points
di: Chen, Xi, et al.
Pubblicazione: (2026)

Sublinear-query relative-error testing of halfspaces
di: Chen, Xi, et al.
Pubblicazione: (2026)

Quadratic Speedup for Computing Contraction Fixed Points
di: Chen, Xi, et al.
Pubblicazione: (2026)

A Space-space Trade-off for Directed st-Connectivity
di: Edenhofer, Roman
Pubblicazione: (2026)

Asymptotic Rank Speedup Theorems, Revisited
di: Alman, Josh, et al.
Pubblicazione: (2026)

An $\widetilde{O} (n^{3/7})$ Round Parallel Algorithm for Matroid Bases
di: Khanna, Sanjeev, et al.
Pubblicazione: (2026)

Optimal Single-Pass Streaming Lower Bounds for Approximating CSPs
di: Singer, Noah G., et al.
Pubblicazione: (2026)

Kernelization Bounds for Constrained Coloring
di: Haviv, Ishay
Pubblicazione: (2026)

On the Advantage of Adaptivity for Sampling with Cell Probes
di: Byramji, Farzan, et al.
Pubblicazione: (2026)

Clustering with Locally Bounded Ignorance
di: Garvardt, Jaroslav, et al.
Pubblicazione: (2026)

Submodular Maximization under Supermodular Constraint: Greedy Guarantees
di: Srivastava, Ajitesh, et al.
Pubblicazione: (2026)