Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework
暂无分享,去创建一个
Asim Munawar | Mohamed Wahib | Masaharu Munetomo | Kiyoshi Akama | M. Wahib | K. Akama | Asim Munawar | M. Munetomo
[1] M. Matsumoto,et al. Parallel Mersenne Twister , 2007 .
[2] Jerome Spanier,et al. Dynamic creation of pseudorandom number generators , 2000 .
[3] C. D. Gelatt,et al. Optimization by Simulated Annealing , 1983, Science.
[4] Habiba Drias,et al. Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic , 2004, SAC '04.
[5] Thomas Stützle,et al. SATLIB: An Online Resource for Research on SAT , 2000 .
[6] Enrique Alba,et al. Introduction to Cellular Genetic Algorithms , 2008 .
[7] H. Drias,et al. Solving MAX-SAT problems using a memetic evolutionary meta-heuristic , 2004, IEEE Conference on Cybernetics and Intelligent Systems, 2004..
[8] Marco Tomassini,et al. Spatially Structured Evolutionary Algorithms: Artificial Evolution in Space and Time (Natural Computing Series) , 2005 .
[9] Tien-Tsin Wong,et al. Evolutionary Computing on Consumer Graphics Hardware , 2007, IEEE Intelligent Systems.
[10] Bart Selman,et al. Noise Strategies for Improving Local Search , 1994, AAAI.
[11] Wen-mei W. Hwu,et al. MCUDA: An Efficient Implementation of CUDA Kernels for Multi-core CPUs , 2008, LCPC.
[12] J. Frank. A Study of Genetic Algorithms to Find Approximate Solutions to Hard 3-SAT Problems , 1995 .
[13] Chu Min Li,et al. Heuristics Based on Unit Propagation for Satisfiability Problems , 1997, IJCAI.
[14] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.
[15] Sam S. Stone,et al. MCUDA: An Efficient Implementation of CUDA Kernels on Multi-cores , 2011 .
[16] Zhigeng Pan,et al. Parallel Genetic Algorithms on Programmable Graphics Hardware , 2005, ICNC.
[17] Takuji Nishimura,et al. Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator , 1998, TOMC.
[18] Erik Lindholm,et al. NVIDIA Tesla: A Unified Graphics and Computing Architecture , 2008, IEEE Micro.
[19] Zhong-Xian Chi,et al. An Efficient Fine-grained Parallel Genetic Algorithm Based on GPU-Accelerated , 2007, 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007).
[20] Habiba Drias,et al. Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems , 2001, IEA/AIE.
[21] Lakhdar Sais,et al. Tabu Search for SAT , 1997, AAAI/IAAI.