Derandomizing Non-uniform Color-Coding I
暂无分享,去创建一个
Joachim Kneis | Alexander Langer | Peter Rossmanith | P. Rossmanith | Joachim Kneis | Alexander Langer
[1] Kazuo Iwama,et al. Improved upper bounds for 3-SAT , 2004, SODA '04.
[2] Joachim Kneis,et al. Divide-and-Color , 2006, WG.
[3] Uwe Schöning. A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems , 1999, FOCS.
[4] Aravind Srinivasan,et al. Splitters and near-optimal derandomization , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.
[5] Russ Bubley,et al. Randomized algorithms , 1995, CSUR.
[6] Ronitt Rubinfeld,et al. Spot-checkers , 1998, STOC '98.
[7] Jürgen Giesl,et al. SAT Solving for Termination Analysis with Polynomial Interpretations , 2007, SAT.
[8] Jianer Chen,et al. Improved algorithms for path, matching, and packing problems , 2007, SODA '07.
[9] János Komlós,et al. Storing a sparse table with O(1) worst case access time , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).
[10] J. Klop,et al. WST ’ 04 7 th International Workshop on Termination , 2004 .
[11] Walter Kern,et al. An improved deterministic local search algorithm for 3-SAT , 2004, Theor. Comput. Sci..
[12] Joel H. Spencer,et al. Families of k-independent sets , 1973, Discret. Math..
[13] T. Kraußer,et al. A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption , 2007 .
[14] Leizhen Cai,et al. Random Separation: A New Method for Solving Fixed-Cardinality Optimization Problems , 2006, IWPEC.
[15] Jon M. Kleinberg,et al. A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search , 2002, Theor. Comput. Sci..
[16] Mam Riess Jones. Color Coding , 1962, Human factors.
[17] Mesut Gunes,et al. From Simulations to Testbeds — Architecture of the Hybrid MCG-Mesh Testbed , 2006 .
[18] Hannes Moser,et al. The Parameterized Complexity of the Unique Coverage Problem , 2007, ISAAC.
[19] Erik D. Demaine,et al. Combination can be hard: approximability of the unique coverage problem , 2006, SODA '06.
[20] Fenghui Zhang,et al. Randomized Divide-and-Conquer: Improved Path, Matching, and Packing Algorithms , 2009 .