Buchumschlag

d-QBF with Few Existential Variables Revisited

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Grigorjew, Andreas, Lampis, Michael
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Computational Complexity
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
von: Beyersdorff, Olaf, et al.
Veröffentlicht: (2021)

Solving Quantified Boolean Formulas with Few Existential Variables
von: Eriksson, Leif, et al.
Veröffentlicht: (2024)

Towards Uniform Certification in QBF
von: Chew, Leroy, et al.
Veröffentlicht: (2022)

QBF Merge Resolution is powerful but unnatural
von: Mahajan, Meena, et al.
Veröffentlicht: (2022)

First Order Logic on Pathwidth Revisited Again
von: Lampis, Michael
Veröffentlicht: (2022)

Bounded degree QBF and positional games
von: Oijid, Nacim
Veröffentlicht: (2024)

Parameterized Capacitated Vertex Cover Revisited
von: Lampis, Michael, et al.
Veröffentlicht: (2026)

Structural Parameterizations for Two Bounded Degree Problems Revisited
von: Lampis, Michael, et al.
Veröffentlicht: (2023)

Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
von: Eriksson, Leif, et al.
Veröffentlicht: (2026)

Circuits and Backdoors: Five Shades of the SETH
von: Lampis, Michael
Veröffentlicht: (2024)

Bilateral Treewidth for QBF: Where Strategies and Resolution Meet
von: Ganian, Robert, et al.
Veröffentlicht: (2026)

Parameterized Vertex Integrity Revisited
von: Hanaka, Tesshu, et al.
Veröffentlicht: (2024)

Semi-Algebraic Proof Systems for QBF
von: Beyersdorff, Olaf, et al.
Veröffentlicht: (2025)

k-SUM Hardness Implies Treewidth-SETH
von: Lampis, Michael
Veröffentlicht: (2025)

The Primal Pathwidth SETH
von: Lampis, Michael
Veröffentlicht: (2024)

Minimum Stable Cut and Treewidth
von: Lampis, Michael
Veröffentlicht: (2021)

The Existential Theory of the Reals with Summation Operators
von: Bläser, Markus, et al.
Veröffentlicht: (2024)

Structural Parameterizations for Induced and Acyclic Matching
von: Lampis, Michael, et al.
Veröffentlicht: (2025)

Parameterized Maximum Node-Disjoint Paths
von: Lampis, Michael, et al.
Veröffentlicht: (2024)

Fine-grained Meta-Theorems for Vertex Integrity
von: Lampis, Michael, et al.
Veröffentlicht: (2021)

Parameterized Max Min Feedback Vertex Set
von: Lampis, Michael, et al.
Veröffentlicht: (2023)

How Hard Is Continuous Clustering? Lower Bounds from the Existential Theory of the Reals
von: Majumdar, Angshul
Veröffentlicht: (2026)

Going Beyond Twin-width? CSPs with Unbounded Domain and Few Variables
von: Jonsson, Peter, et al.
Veröffentlicht: (2025)

Tetris with Few Piece Types
von: MIT Hardness Group, et al.
Veröffentlicht: (2024)

The Complexity of Drawing Graphs on Few Lines and Few Planes
von: Chaplick, Steven, et al.
Veröffentlicht: (2016)

Core Stability in Additively Separable Hedonic Games of Low Treewidth
von: Hanaka, Tesshu, et al.
Veröffentlicht: (2024)

On the Tractability Landscape of the Conditional Minisum Approval Voting Rule
von: Amanatidis, Georgios, et al.
Veröffentlicht: (2024)

Oblivious Complexity Classes Revisited: Lower Bounds and Hierarchies
von: Gajulapalli, Karthik, et al.
Veröffentlicht: (2025)

Beyond the Existential Theory of the Reals
von: Schaefer, Marcus, et al.
Veröffentlicht: (2022)

Relaxed vs. Full Local Decodability with Few Queries: Equivalence and Separations for Linear Codes
von: Grigorescu, Elena, et al.
Veröffentlicht: (2025)

Structural Parameters for Steiner Orientation
von: Hanaka, Tesshu, et al.
Veröffentlicht: (2025)

Satisfactory Budget Division
von: Gourvès, Laurent, et al.
Veröffentlicht: (2025)

CSPs with Few Alien Constraints
von: Jonsson, Peter, et al.
Veröffentlicht: (2024)

Temporal Team Semantics Revisited
von: Gutsfeld, Jens Oliver, et al.
Veröffentlicht: (2021)

The Existential Closedness and Zilber-Pink Conjectures
von: Aslanyan, Vahagn
Veröffentlicht: (2024)

The Existential Theory of the Reals as a Complexity Class: A Compendium
von: Schaefer, Marcus, et al.
Veröffentlicht: (2024)

Online Orthogonal Vectors Revisited
von: Gajulapalli, Karthik, et al.
Veröffentlicht: (2026)

Switching Graph Matrix Norm Bounds: from i.i.d. to Random Regular Graphs
von: Xu, Jeff
Veröffentlicht: (2024)

Coloring Graphs with Few Colors in the Streaming Model
von: Assadi, Sepehr, et al.
Veröffentlicht: (2025)

LFPL: Revisited and Mechanized
von: Glover, Nathaniel, et al.
Veröffentlicht: (2026)