Reducing NEXP-complete problems to DQBF.

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

Published in: FMCAD (2022)

Keyphrases

simulated annealing
problems involving
database
social networks
case study
search algorithm
optimization problems
np complete
benchmark problems
solving problems
difficult problems