ON 2-QBF TRUTH TESTING IN PARALLEL

Authors
ASPVALL B LEVCOPOULOS C LINGAS A STORLIND R
Citation
B. Aspvall et al., ON 2-QBF TRUTH TESTING IN PARALLEL, Information processing letters, 57(2), 1996, pp. 89-93
Citations number
8
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Information processing letters → ACNP
ISSN journal
00200190
Volume
57
Issue
2
Year of publication
1996
Pages
89 - 93
Database
ISI
SICI code
0020-0190(1996)57:2<89:O2TTIP>2.0.ZU;2-T