Easily refutable subformulas of large random 3CNF formulas

by Uriel Feige and Eran Ofek

Theory of Computing, Volume 3(2), pp. 25-43, 2007

Bibliography with links to cited articles

[1]   N. Alon and J. Spencer: The Probabilistic Method. John Wiley and Sons, 2002.

[2]   E. Ben-Sasson and A. Wigderson: Short proofs are narrow— resolution made simple. J. ACM, 48(2):149–169, 2001. [JACM:10.1145/375827.375835].

[3]   V. Chvátal and E. Szemerédi: Many hard examples for resolution. J. ACM, 35(4):759–768, 1988. [JACM:10.1145/48014.48016].

[4]   A. Coja-Oghlan, A. Goerdt, and A. Lanka: Strong refutation heuristics for random k-SAT. Combinatorics, Probability and Computing, 16(1):5–28, 2007. Conference version appeared in Proc. 8th Internat. Workshop on Randomization and Computation (RANDOM ’04), volume 3122 of LNCS, pp. 310–321. Springer, 2004. [doi:10.1017/S096354830600784X, Springer:x1tlgm3cexcj].

[5]   A. Coja-Oghlan, A. Goerdt, A. Lanka, and F. Schadlich: Techniques from combinatorial approximation algorithms yield efficient algorithms for random 2k-sat. Theoretical Computer Science, 329:1–45, 2004. [TCS:10.1016/j.tcs.2004.07.017].

[6]   U. Feige: Relations between average case complexity and approximation complexity. In Proc. 34th STOC, pp. 534–543. ACM Press, 2002. [STOC:509907.509985].

[7]   U. Feige and E. Ofek: Spectral techniques applied to sparse random graphs. Random Structures and Algorithms, 27(2):251–275, 2005. [RSA:10.1002/rsa.20089].

[8]   E. Friedgut and J. Bourgain: Sharp thresholds of graph properties, and the k-sat problem. Journal of the American Mathematical Society, 12(4):1017–1054, 1999. [JAMS:1999-12-04/S0894-0347-99-00305-7].

[9]   J. Friedman, A. Goerdt, and M. Krivelevich: Recognizing more unsatisfiable random 3-sat instances efficiently. SIAM J. on Computing, 35(2):408–430, 2005. [SICOMP:10.1137/S009753970444096X].

[10]   A. Goerdt and M. Krivelevich: Efficient recognition of random unsatisfiable k-SAT instances by spectral methods. In Proc. Ann. Symp. on Theoretical Aspects of Computer Science (STACS ’01), volume 2010 of LNCS, pp. 294–304. Springer, 2001. [STACS:27cr0lrbpr7px7y3].

[11]   A. Goerdt and A. Lanka: Recognizing more random 3-sat instances efficiently. LICS’03 Workshop on Typical Case Complexity and Phase Transitions, 2003.

[12]   M. Hajiaghayi and B. Sorkin: The satisfiability threshold of random 3-SAT is at least 3.52, 2003. [arXiv:math/0310193].

[13]   S. Janson, Y. Stamatiou, and M. Vamvakari: Bounding the unsatisfiability threshold of random 3-sat. Random Structures and Algorithms, 17(2):103–116, 2000. [RSA:10.1002/1098-2418(200009)17:2¡103::AID-RSA2¿3.0.CO;2-P].

[14]   A. Kaporis, L. Kirousis, and E. Lalas: The probabilistic analysis of a greedy satisfiability algorithm. Random Structures and Algorithms, 28(4):444–480, 2006. [RSA:10.1002/rsa.20104].

[15]   S. Khot: Ruling out PTAS for graph min-bisection, densest subgraph and bipartite clique. In Proc. 45th FOCS, pp. 136–145. IEEE Computer Society, 2004. [FOCS:10.1109/FOCS.2004.59].

[16]   U. Zwick: Outward rotations: a tool for rounding solutions of semidefinite programming relaxations, with applications to MAX CUT and other problems. In Proc. 31st STOC, pp. 679–687. ACM Press, 1999. [STOC:301250.301431].