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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.