Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF

The QSAT problem, which asks to evaluate a quantified Boolean formula (QBF), is of fundamental interest in approximation, counting, decision, and probabilistic complexity and is also considered the prototypical PSPACE-complete problem. As such, it has previously been studied under various structural...

Full description

Bibliographic Details

Published in:	2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS pp. 1 - 14
Main Authors:	Fichte, Johannes K., Ganian, Robert, Hecher, Markus, Slivovsky, Friedrich, Ordyniak, Sebastian
Format:	Conference Proceeding
Language:	English
Published:	IEEE 26.06.2023
Series:	IEEE Symposium on Logic in Computer Science
Subjects:	Complexity theory Computer science Filling Probabilistic logic Structural engineering Upper bound
ISBN:	9798350335880, 9798350335873
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!