Lower Bounds for QBFs of Bounded Treewidth

The problem of deciding the validity (QSAT) of quantified Boolean formulas (QBF) is a vivid research area in both theory and practice. In the field of parameterized algorithmics, the well-studied graph measure treewidth turned out to be a successful parameter. A well-known result by Chen in paramete...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2020-07
Hauptverfasser:	Johannes Klaus Fichte, Hecher, Markus, Pfandler, Andreas
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Boolean algebra Dynamic programming Exponential functions Lower bounds Parameterization Parameters Polynomials Questions Run time (computers)
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!