Svante Janson, Yannis C. Stamatiou, Malvina Vamvakari. Bounding the unsatisfiability threshold of random 3-SAT. Random Struct. Algorithms, 17(2):103-116, 2000.
@article{JansonSV00,
title = {Bounding the unsatisfiability threshold of random 3-SAT},
author = {Svante Janson and Yannis C. Stamatiou and Malvina Vamvakari},
year = {2000},
tags = {C++},
researchr = {https://researchr.org/publication/JansonSV00},
cites = {0},
citedby = {0},
journal = {Random Struct. Algorithms},
volume = {17},
number = {2},
pages = {103-116},
}