169 citations · 513 across the 22 of their papers we have counts for
1 paper · 1 filter
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…