A spectral technique for random satisfiable 3CNF formulas Export

@inproceedings{citeulike:1290865, address = {New York}, author = {Flaxman, Abraham}, booktitle = {Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms (Baltimore, MD, 2003)}, citeulike-article-id = {1290865}, citeulike-linkout-0 = {http://www.ams.org/mathscinet-getitem?mr=1974939}, keywords = {3, algorithm, random, sat, satisfiability, spectral}, mrnumber = {MR1974939}, pages = {357--363}, posted-at = {2007-05-11 22:48:08}, priority = {0}, publisher = {ACM}, title = {A spectral technique for random satisfiable 3CNF formulas}, url = {http://www.ams.org/mathscinet-getitem?mr=1974939}, year = {2003} }

TY - CONF ID - citeulike:1290865 L3 - citeulike-article-id:1290865 AD - New York EP - 363 TI - A spectral technique for random satisfiable 3CNF formulas PB - ACM T2 - Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms (Baltimore, MD, 2003) SP - 357 KW - 3 KW - algorithm KW - random KW - sat KW - satisfiability KW - spectral AU - Flaxman, Abraham PY - 2003/// UR - http://www.ams.org/mathscinet-getitem?mr=1974939 ER -