Better Extension Variables in DQBF via Independence.

Leroy Chew, Toms Peitl

Browse the full SAT paper archive.