A Simple Parallel Algorithm for Finding a Satisfying Truth Assignment to a 2-CNF Formula

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.

Abstract

Abstract is missing.