16 citations · 43 across the 11 of their papers we have counts for
1 paper · 1 filter
Jesko Hecking-Harbusch, Leander Tentrup
Many verification and synthesis approaches rely on solving techniques for quantified Boolean formulas (QBF). Consequently, solution witnesses, in the form of Boolean functions, bec…