Reference:
Vishwambhar Rathi, Erik Aurell, Lars Rasmussen, and Mikael Skoglund. Bounds on threshold of regular random -sat. In SAT 2010 - Thirteenth International Conference on Theory and Applications of Satisfiability Testing, July 11—July 14, 2010, Edinburgh, Scotland, UK, 2010.
Suggested BibTeX entry:
@inproceedings{Rathi10a,
address = {July 11—July 14, 2010, Edinburgh, Scotland, UK},
author = {Vishwambhar Rathi and Erik Aurell and Lars Rasmussen and Mikael Skoglund},
booktitle = {SAT 2010 - Thirteenth International Conference on Theory and Applications of Satisfiability Testing},
title = {Bounds on Threshold of Regular Random $k$-SAT},
year = {2010},
}
|