Two Weighting Local Search for Minimum Vertex Cover
暂无分享,去创建一个
Kaile Su | Shaowei Cai | Jinkun Lin | Jinkun Lin | Shaowei Cai | Kaile Su
[1] Roberto Battiti,et al. Reactive Local Search for the Maximum Clique Problem1 , 2001, Algorithmica.
[2] Mauro Brunato,et al. Cooperating local search for the maximum clique problem , 2011, J. Heuristics.
[3] Wayne J. Pullan,et al. Phased local search for the maximum clique problem , 2006, J. Comb. Optim..
[4] Wayne J. Pullan,et al. Dynamic Local Search for the Maximum Clique Problem , 2011, J. Artif. Intell. Res..
[5] Ke Xu,et al. Random constraint satisfaction: Easy generation of hard (satisfiable) instances , 2007, Artif. Intell..
[6] Kaile Su,et al. EWLS: A New Local Search for Minimum Vertex Cover , 2010, AAAI.
[7] Chu Min Li,et al. An efficient branch-and-bound algorithm based on MaxSAT for the maximum clique problem , 2010, AAAI 2010.
[8] George Karakostas,et al. A better approximation ratio for the vertex cover problem , 2005, TALG.
[9] Ryan A. Rossi,et al. Coloring large complex networks , 2014, Social Network Analysis and Mining.
[10] Ke Xu,et al. Combining Edge Weight and Vertex Weight for Minimum Vertex Cover Problem , 2014, FAW.
[11] Chu Min Li,et al. Combining Graph Structure Exploitation and Propositional Reasoning for the Maximum Clique Problem , 2010, 2010 22nd IEEE International Conference on Tools with Artificial Intelligence.
[12] Diogo Vieira Andrade,et al. Fast local search for the maximum independent set problem , 2008, Journal of Heuristics.
[13] Hua Jiang,et al. Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem , 2013, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence.
[14] David Zuckerman,et al. Electronic Colloquium on Computational Complexity, Report No. 100 (2005) Linear Degree Extractors and the Inapproximability of MAX CLIQUE and CHROMATIC NUMBER , 2005 .
[15] Abdul Sattar,et al. Local search with edge weighting and configuration checking heuristics for minimum vertex cover , 2011, Artif. Intell..
[16] Holger H. Hoos,et al. Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT , 2002, CP.
[17] Malte Helmert,et al. A Stochastic Local Search Approach to Vertex Cover , 2007, KI.
[18] Abdul Sattar,et al. NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover , 2014, J. Artif. Intell. Res..
[19] Ryan A. Rossi,et al. A Fast Parallel Maximum Clique Algorithm for Large Sparse Graphs and Temporal Strong Components , 2013, ArXiv.
[20] S. Safra,et al. On the hardness of approximating minimum vertex cover , 2005 .
[21] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[22] Jin-Kao Hao,et al. Breakout Local Search for maximum clique problems , 2013, Comput. Oper. Res..
[23] Wayne J. Pullan,et al. Simple ingredients leading to very efficient heuristics for the maximum clique problem , 2008, J. Heuristics.
[24] Ryan A. Rossi,et al. Fast maximum clique algorithms for large graphs , 2014, WWW.
[25] Kaile Su,et al. Local search for Boolean Satisfiability with configuration checking and subscore , 2013, Artif. Intell..
[26] Fred W. Glover,et al. Multi-neighborhood tabu search for the maximum weight clique problem , 2012, Annals of Operations Research.
[27] John Thornton,et al. Additive versus Multiplicative Clause Weighting for SAT , 2004, AAAI.