Recognizing more random unsatisfiable 3-SAT instances efficiently

Electronic Notes in Discrete Mathematics

Volumn 16, Issue , 2003, Pages 21-46

  Goerdt, Andreas ^a   Lanka, André ^a  

^a CHEMNITZ UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 10044281289     PISSN: 15710653     EISSN: 15710653     Source Type: Journal    
DOI: 10.1016/S1571-0653(04)00461-5     Document Type: Article

References (11)

1. Fan R. K. Chung. Spectral Graph Theory. CBMS Regional Conference Series in Mathematics, Vol. 92. American Mathematical Society, Providence, R. I.,1997.
2. A. Coja-Oghlan, A. Goerdt, A. Lanka, F. Schädlich. Certifying Unsatisfiability of Random 2k-SAT Formulas using Approximation Techniques. In Proceedings FCT 2003. To appear.
3. U. Feige. Relations between average case complexity and approximation complexity. In Proceedings STOC 2002.
4. U. Feige, E. Ofek. Spectral Techniques Applied to Sparse Random Graphs. 2003. Available at http://wisdomarchive.wisdom.weizmann.ac.il:81/archive/00000307/
5. Friedgut E. Necessary and Sufficient Conditions for Sharp Thresholds of Graph Properties and the k-SAT problem. Journal of the American Mathematical Society 12 (1999) 1017-1054
6. Friedman J., and Goerdt A. Recognizing more Unsatisfiable Random 3-Sat Instances efficiently. Proceedings ICALP (2001) 310-321 LNCS 2076
7. Friedman J., Kahn J., and Szemeredi E. On the second Eigenvalue in Random Regular Graphs. Proceedings STOC (1989) 587-598
8. Füredi Z., and Komlós J. The Eigenvalues of Random Symmetric Matrices. Combinatorica 1 (1981) 233-241
9. Goerdt A., and Jurdzinski T. Some Results on Random Unsatisfiable k-SAT Instances and Approximation Algorithms Applied to Random Structures. Proceedings MFCS (2002) 280-291 LNCS 2420
10. Goerdt A., and Krivelevich M. Efficient Recognition of Random Unsatisfiable k-SAT Instances by Spectral Methods. Proceedings STACS (2001) 294-304 LNCS 2010
11. Prasolov V.V. Problems and Theorems in Linear Algebra. Translation of Mathematical Monographs Vol. 134 (1994), American Mathematical Society