Estimating Bounds on Expected Plateau Size in MAXSAT Problems
暂无分享,去创建一个
[1] Bart Selman,et al. Local search strategies for satisfiability testing , 1993, Cliques, Coloring, and Satisfiability.
[2] Yoav Shoham,et al. A portfolio approach to algorithm select , 2003, IJCAI 2003.
[3] John Hallam,et al. Hybrid problems, hybrid solutions , 1995 .
[4] Christian M. Reidys,et al. Neutrality in fitness landscapes , 2001, Appl. Math. Comput..
[5] David H. Wolpert,et al. No free lunch theorems for optimization , 1997, IEEE Trans. Evol. Comput..
[6] S. Redner,et al. Introduction To Percolation Theory , 2018 .
[7] P. Schuster,et al. From sequences to shapes and back: a case study in RNA secondary structures , 1994, Proceedings of the Royal Society of London. Series B: Biological Sciences.
[9] Steven E. Hampson,et al. Large plateaus and plateau search in Boolean Satisfiability problems: When to give up searching and start again , 1993, Cliques, Coloring, and Satisfiability.
[10] Gert Smolka. Principles and Practice of Constraint Programming-CP97 , 1997, Lecture Notes in Computer Science.
[11] Ian P. Gent,et al. Unsatisfied Variables in Local Search , 1995 .
[12] Luca Maria Gambardella,et al. Maximum satisfiability: How good are tabu search and plateau moves in the worst-case? , 2005, Eur. J. Oper. Res..
[13] P. Schuster,et al. Generic properties of combinatory maps: neutral networks of RNA secondary structures. , 1997, Bulletin of mathematical biology.
[14] Ivana Kruijff-Korbayová,et al. A Portfolio Approach to Algorithm Selection , 2003, IJCAI.
[15] Makoto Yokoo. Why Adding More Constraints Makes a Problem Easier for Hill-climbing Algorithms: Analyzing Landscapes of CSPs , 1997, CP.
[16] Jeremy Frank,et al. When Gravity Fails: Local Search Topology , 1997, J. Artif. Intell. Res..
[17] Toby Walsh,et al. An Empirical Analysis of Search in GSAT , 1993, J. Artif. Intell. Res..
[18] Kevin R.G. Smyth. Understanding stochastic local search algorithms : an empirical analysis of the relationship between search space structure and algorithm behaviour , 2004 .
[19] Kevin Leyton-Brown,et al. SATzilla: Portfolio-based Algorithm Selection for SAT , 2008, J. Artif. Intell. Res..
[20] Thomas Stützle,et al. Stochastic Local Search: Foundations & Applications , 2004 .
[21] Hector J. Levesque,et al. A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.