Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

Dependency quantified Boolean formulas (DQBF) and QBF dependency schemes have been treated separately in the literature, even though both treatments extend QBF by replacing the linear order of the quantifier prefix with a partial order. We propose to merge the two, by reinterpreting a dependency sch...

Full description

Bibliographic Details

Published in:	Journal of automated reasoning Vol. 63; no. 3; pp. 597 - 623
Main Authors:	Beyersdorff, Olaf, Blinkhorn, Joshua, Chew, Leroy, Schmidt, Renate, Suda, Martin
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer Netherlands 01.10.2019 Springer Nature B.V
Subjects:	Artificial Intelligence Boolean algebra Computer Science Dependence Mapping Mathematical Logic and Formal Languages Mathematical Logic and Foundations Reduction Symbolic and Algebraic Manipulation Quantified Boolean formulas DQBF F.2.2 Nonnumerical algorithms and problems Dependency schemes
ISSN:	0168-7433, 1573-0670, 1573-0670
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!