Reducing NEXP-complete problems to DQBF.

Fa-Hsun Chen, Shen-Chang Huang, Yu-Cheng Lu, Tony Tan

Browse the full FMCAD paper archive.