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.

Authors

Stephen A. Cook

This author has not been identified. Look up 'Stephen A. Cook' in Google

Michael Luby

This author has not been identified. Look up 'Michael Luby' in Google