On 2-QBF truth testing in parallel
Bengt Aspvall, Christos Levcopoulos, Andrzej Lingas, Robert StorlindVolume:
57
Year:
1996
Language:
english
Pages:
5
DOI:
10.1016/0020-0190(95)00180-8
File:
PDF, 497 KB
english, 1996