collaborators

1 paper

cs.LO2019

Solving Dependency Quantified Boolean Formulas Using Quantifier Localization

Aile Ge-Ernst, Christoph Scholl, Juraj Síč +1

Dependency quantified Boolean formulas (DQBFs) are a powerful formalism, which subsumes quantified Boolean formulas (QBFs) and allows an explicit specification of dependencies of e…