![](/img/cover-not-exists.png)
Computational complexity of quantified Boolean formulas with fixed maximal deficiency
Hans Kleine Büning, Xishun ZhaoVolume:
407
Year:
2008
Language:
english
Pages:
10
DOI:
10.1016/j.tcs.2008.07.022
File:
PDF, 687 KB
english, 2008