An Empirical Study of MAX-2-SAT Phase Transitions
暂无分享,去创建一个
[1] Pierre Hansen,et al. Algorithms for the maximum satisfiability problem , 1987, Computing.
[2] Rolf Niedermeier,et al. New Worst-Case Upper Bounds for MAX-2-SAT with Application to MAX-CUT , 2000, Electron. Colloquium Comput. Complex..
[3] Alan M. Frieze,et al. On the satisfiability and maximum satisfiability of random 3-CNF formulas , 1993, SODA '93.
[4] Béla Bollobás,et al. The scaling window of the 2‐SAT transition , 1999, Random Struct. Algorithms.
[5] Rolf Niedermeier,et al. Faster exact algorithms for hard problems: A parameterized point of view , 2001, Discret. Math..
[6] Svante Janson,et al. Bounding the unsatisfiability threshold of random 3-SAT , 2000, Random Struct. Algorithms.
[7] Bruce A. Reed,et al. Mick gets some (the odds are on his side) (satisfiability) , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
[8] Edward A. Hirsch,et al. A New Algorithm for MAX-2-SAT , 2000, STACS.
[9] Jon M. Kleinberg,et al. A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search , 2002, Theor. Comput. Sci..
[10] Rolf Niedermeier,et al. Some Prospects for Efficient Fixed Parameter Algorithms , 1998, SOFSEM.
[11] Dorit S. Hochbaum,et al. Approximation Algorithms for NP-Hard Problems , 1996 .
[12] S. Janson,et al. Bounding the unsatisfiability threshold of random 3-SAT , 2000 .
[13] Brian Borchers,et al. A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems , 1998, J. Comb. Optim..
[14] Meena Mahajan,et al. Parametrizing Above Guaranteed Values: MaxSat and MaxCut , 1997, Electron. Colloquium Comput. Complex..
[15] Andreas Goerdt. A Threshold for Unsatisfiability , 1996, J. Comput. Syst. Sci..
[16] Edward A. Hirsch,et al. New Worst-Case Upper Bounds for SAT , 2000, Journal of Automated Reasoning.
[17] Venkatesh Raman,et al. Upper Bounds for MaxSat: Further Improved , 1999, ISAAC.
[18] Rolf Niedermeier,et al. New Upper Bounds for Maximum Satisfiability , 2000, J. Algorithms.
[19] Mohammad Taghi Hajiaghayi,et al. Random MAX SAT, random MAX CUT, and their phase transitions , 2003, SODA '03.