Reducing NEXP-complete problems to DQBF. - Fa-Hsun Chen; Shen-Chang Huang; Yu-Cheng Lu; Tony Tan (FMCAD, 2022)