Synthesis with Explicit Dependencies

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Quantified Boolean Formulas (QBF) extend propositional logic with quantification $\forall ,\exists$. In QBF, an existentially quantified variable is allowed to depend on all univer…