Better Extension Variables in DQBF via Independence

Leroy Chew, Tomáš Peitl

We show that extension variables in (D)QBF can be generalised by conditioning on universal assignments. The benefit of this is that the dependency sets of such conditioned extensio…