Ramamohan Paturi, Pavel Pudlák, Michael E. Saks, Francis Zane. An Improved Exponential-Time Algorithm for ::::k::::-SAT. In FOCS. pages 628-637, 1998. [doi]
@inproceedings{PaturiPSZ98,
title = {An Improved Exponential-Time Algorithm for ::::k::::-SAT},
author = {Ramamohan Paturi and Pavel Pudlák and Michael E. Saks and Francis Zane},
year = {1998},
url = {http://dlib.computer.org/conferen/focs/9172/pdf/91720628.pdf},
tags = {e-science},
researchr = {https://researchr.org/publication/PaturiPSZ98},
cites = {0},
citedby = {0},
pages = {628-637},
booktitle = {FOCS},
}