30 citations · 134 across the 14 of their papers we have counts for
1 paper · 2 filters
Leander Tentrup, Markus N. Rabe
Dependency quantified Boolean formulas (DQBF) is a logic admitting existential quantification over Boolean functions, which allows us to elegantly state synthesis problems in verif…