Stem dqbf$ (all stems)

3 papers:

DATE-2015-GitinaWRSSB #quantifier

Solving DQBF through quantifier elimination (KG, RW, SR, MS, CS, BB), pp. 1617–1622.

SAT-2015-WimmerGNSB #preprocessor

Preprocessing for DQBF (RW, KG, JN, CS, BB), pp. 173–190.

SAT-2014-FinkbeinerT #performance

Fast DQBF Refutation (BF, LT), pp. 243–251.