Hyperplane initialized local search for MAXSAT
暂无分享,去创建一个
Doug Hains | L. Darrell Whitley | Adele E. Howe | Wenxiang Chen | L. D. Whitley | A. Howe | Wenxiang Chen | Doug Hains
[1] Harry Zhang,et al. Combining Adaptive Noise and Look-Ahead in Local Search for SAT , 2007, SAT.
[2] Joao Marques-Silva,et al. Algorithms for Maximum Satisfiability using Unsatisfiable Cores , 2008, 2008 Design, Automation and Test in Europe.
[3] P. Cochat,et al. Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.
[4] David E. Goldberg,et al. A Survey of Optimization by Building and Using Probabilistic Models , 2002, Comput. Optim. Appl..
[5] Christian M. Reidys,et al. Combinatorial Landscapes , 2002, SIAM Rev..
[6] Adam Prügel-Bennett,et al. Learning the Large-Scale Structure of the MAX-SAT Landscape Using Populations , 2010, IEEE Transactions on Evolutionary Computation.
[7] Thomas Stützle,et al. Iterated Robust Tabu Search for MAX-SAT , 2003, Canadian Conference on AI.
[8] John H. Holland,et al. Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .
[9] R. Solé,et al. Simple genomes, complex interactions: epistasis in RNA virus. , 2010, Chaos.
[10] L. Darrell Whitley,et al. A Tractable Walsh Analysis of SAT and its Implications for Genetic Algorithms , 1998, AAAI/IAAI.
[11] P. Schuster,et al. Generic properties of combinatory maps: neutral networks of RNA secondary structures. , 1997, Bulletin of mathematical biology.
[12] Weixiong Zhang,et al. Backbone Guided Local Search for Maximum Satisfiability , 2003, IJCAI.
[13] R. K. Shyamasundar,et al. Introduction to algorithms , 1996 .
[14] L. Darrell Whitley,et al. Constant time steepest descent local search with lookahead for NK-landscapes and MAX-kSAT , 2012, GECCO '12.
[15] Kalyanmoy Deb,et al. Messy Genetic Algorithms: Motivation, Analysis, and First Results , 1989, Complex Syst..
[16] Wenxiang Chen,et al. Constant time Steepest Ascent Local Search with Statistical Lookahead for NK-Landscapes , 2012 .
[17] Hector J. Levesque,et al. A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.
[18] G. Rinaldi,et al. Exact ground states of two-dimensional ±J Ising spin glasses , 1996 .
[19] Sean Safarpour,et al. Improved Design Debugging Using Maximum Satisfiability , 2007 .
[20] Joao Marques-Silva,et al. Automated Design Debugging With Maximum Satisfiability , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[21] Endre Boros,et al. Pseudo-Boolean optimization , 2002, Discret. Appl. Math..
[22] Holger H. Hoos,et al. UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT , 2004, SAT.
[23] David E. Goldberg,et al. Genetic Algorithms and Walsh Functions: Part I, A Gentle Introduction , 1989, Complex Syst..
[24] Thomas Stützle,et al. Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT , 2004, PPSN.
[25] David E. Goldberg,et al. Genetic Algorithms in Search Optimization and Machine Learning , 1988 .
[26] Colin R. Reeves,et al. Genetic Algorithms: Principles and Perspectives: A Guide to Ga Theory , 2002 .