%0 Conference Paper %1 conf/focs/PaturiPSZ98 %A Paturi, Ramamohan %A Pudlák, Pavel %A Saks, Michael E. %A Zane, Francis %B FOCS %D 1998 %I IEEE Computer Society %K dblp %P 628-637 %T An Improved Exponential-Time Algorithm for k-SAT. %U http://dblp.uni-trier.de/db/conf/focs/focs98.html#PaturiPSZ98 %@ 0-8186-9172-7

@inproceedings{conf/focs/PaturiPSZ98, added-at = {2023-03-23T00:00:00.000+0100}, author = {Paturi, Ramamohan and Pudlák, Pavel and Saks, Michael E. and Zane, Francis}, biburl = {https://www.bibsonomy.org/bibtex/2aeb322a71d75badc2bffdc1ff034aa32/dblp}, booktitle = {FOCS}, crossref = {conf/focs/1998}, ee = {https://doi.ieeecomputersociety.org/10.1109/SFCS.1998.743513}, interhash = {f8811543c451f0be27312005dc9dd31c}, intrahash = {aeb322a71d75badc2bffdc1ff034aa32}, isbn = {0-8186-9172-7}, keywords = {dblp}, pages = {628-637}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:39:52.000+0200}, title = {An Improved Exponential-Time Algorithm for k-SAT.}, url = {http://dblp.uni-trier.de/db/conf/focs/focs98.html#PaturiPSZ98}, year = 1998 }