Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Stephen A. Cook, Michael Luby. A Simple Parallel Algorithm for Finding a Satisfying Truth Assignment to a 2-CNF Formula. Inf. Process. Lett., 27(3):141-145, 1988.
Possibly Related PublicationsThe following publications are possibly variants of this publication: An Optimal Parallel Algorithm for Formula EvaluationSamuel R. Buss, S. Cook, A. Gupta, V. Ramachandran. SICOMP, 21(4):755-780, 1992.
The following publications are possibly variants of this publication: