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.
@article{CookL88,
title = {A Simple Parallel Algorithm for Finding a Satisfying Truth Assignment to a 2-CNF Formula},
author = {Stephen A. Cook and Michael Luby},
year = {1988},
researchr = {https://researchr.org/publication/CookL88},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {27},
number = {3},
pages = {141-145},
}