6 citations · 12 across the 10 of their papers we have counts for
1 paper · 2 filters
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
We propose a new decision procedure for dependency quantified Boolean formulas (DQBF) that uses interpolation-based definition extraction to compute Skolem functions in a counter-e…