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...

Celý popis

Podrobná bibliografie

Vydáno v:	2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS s. 1 - 14
Hlavní autoři:	Fichte, Johannes K., Ganian, Robert, Hecher, Markus, Slivovsky, Friedrich, Ordyniak, Sebastian
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 26.06.2023
Edice:	IEEE Symposium on Logic in Computer Science
Témata:	Complexity theory Computer science Filling Probabilistic logic Structural engineering Upper bound
ISBN:	9798350335880, 9798350335873
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!