On 2-QBF truth testing in parallel
- 作者Bengt Aspvall; Christos Levcopoulos; Andrzej Lingas; Robert Storlind
- 卷第57卷
- 期第2期
- 印刷ISSN0020-0190
- 文件大小496.78KB
- 发表时间1996
- DOI10.1016/0020-0190(95)00180-8
- 页码89-93
同作者推荐
Fault-containing self-stabilizing distributed protocolsSukumar Ghosh; Arobinda Gupta; Ted Herman; Sriram V. Pemmaraju · 2007
[ACM Press the fifteenth annual ACM symposium - Philadelphia, Pennsylvania, United States (1996.05.23-1996.05.26)] Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 - Fault-containing self-stabilizing algorithmsGhosh, Sukumar; Gupta, Arobinda; Herman, Ted; Pemmaraju, Sriram V. · 1996