1 paper · 1 filter
Long-Hin Fung, Che Cheng, Jie-Hong Roland Jiang +2
Dependency Quantified Boolean Formulas (DQBF) generalize QBF by explicitly specifying which universal variables each existential variable depends on, instead of relying on a linear…