Access the full text.
Sign up today, get DeepDyve free for 14 days.
K. Jong, W. Spears (1989)
Using Genetic Algorithms to Solve NP-Complete Problems
F. Glover, M. Laguna (1997)
Tabu Search
P. Larrañaga, J. Lozano (2002)
Estimation of Distribution Algorithms
M. Khichane, P. Albert, Christine Solnon (2008)
Integration of ACO in a Constraint Programming Language
R. Battiti, M. Protasi (2001)
Reactive Local Search for the Maximum Clique Problem1Algorithmica, 29
M. Pelikán, D. Goldberg, E. Cantú-Paz (1999)
BOA: the Bayesian optimization algorithm
Túlio Toffolo, J. Christiaens, Sam Malderen, T. Wauters, G. Berghe (2018)
Stochastic local search with learning automaton for the swap-body vehicle routing problemComput. Oper. Res., 89
E. Hirsch, Arist Kojevnikov (2005)
UnitWalk: A new SAT solver that uses local search guided by unit clause eliminationAnnals of Mathematics and Artificial Intelligence, 43
Christine Solnon (2008)
Combining two pheromone structures for solving the car sequencing problem with Ant Colony OptimizationEur. J. Oper. Res., 191
Madalina Raschip, Cornelius Croitoru, K. Stoffel (2015)
Using association rules to guide evolutionary search in solving constraint satisfaction2015 IEEE Congress on Evolutionary Computation (CEC)
S. Martins, Isabel Rosseti, A. Plastino (2018)
Data Mining in Stochastic Local Search
Pedro Larraanaga, Jose Lozano (2001)
Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation
Luis Santos, S. Martins, A. Plastino (2008)
Applications of the DM-GRASP heuristic: a surveyInt. Trans. Oper. Res., 15
Arnaud Zinflou, Caroline Gagné, M. Gravel (2007)
Crossover Operators for the Car Sequencing Problem
Una Benlic, Jin-Kao Hao (2013)
Breakout local search for the quadratic assignment problemAppl. Math. Comput., 219
Christine Solnon (2002)
Ants can solve constraint satisfaction problemsIEEE Trans. Evol. Comput., 6
W. Spears (1993)
Simulated annealing for hard satisfiability problems
D. Pham, J. Thornton, A. Sattar (2007)
Building Structure into Local Search for SAT
N. Jussien, Olivier Lhomme (2000)
Local search with constraint propagation and conflict-based heuristicsArtif. Intell., 139
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Breakout Local Search for the Vertex Separator Problem
Jin-Kao Hao, R. Dorne (1996)
Empirical Studies of Heuristic Local Search for Constraint Solving
H. Hoos, T. Stützle (2004)
Stochastic Local Search: Foundations & Applications
Gustav Björdal, Jean-Noël Monette, P. Flener, J. Pearson (2015)
A constraint-based local search backend for MiniZincConstraints, 20
M. Khichane, P. Albert, Christine Solnon (2010)
Strong Combination of Ant Colony Optimization with Constraint Programming Optimization
C. Reeves (1993)
Modern heuristic techniques for combinatorial problems
L. Bezerra, Manuel López-Ibáñez, T. Stützle (2016)
Automatic Component-Wise Design of Multiobjective Evolutionary AlgorithmsIEEE Transactions on Evolutionary Computation, 20
R. Young, A. Reel (1990)
A Hybrid Genetic Algorithm for a Logic Problem
H. Iba (2019)
Meta-heuristicsAI and SWARM
J. Gottlieb, Nico Voss (1998)
Improving the Performance of Evolutionary Algorithms for the Satisfiability Problem by Refining Functions
M. Zlochin, M. Birattari, Nicolas Meuleau, M. Dorigo (2004)
Model-Based Search for Combinatorial Optimization: A Critical SurveyAnnals of Operations Research, 131
S. Baluja (1994)
A Method for Integrating Genetic Search Based Function Optimization and Competitive Learning
Ian Gent, T. Walsh (1993)
Towards an Understanding of Hill-Climbing Procedures for SAT
P. Galinier, Jin-Kao Hao (1999)
Hybrid Evolutionary Algorithms for Graph ColoringJournal of Combinatorial Optimization, 3
Lin Xu, H. Hoos, Kevin Leyton-Brown (2010)
Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection
P. Galinier, Jin-Kao Hao (2004)
A General Approach for Constraint Solving by Local SearchJournal of Mathematical Modelling and Algorithms, 3
P. Codognet, Daniel Diaz (2001)
Yet Another Local Search Method for Constraint Solving
J. Thornton, D. Pham, S. Bain, Valnir Ferreira (2004)
Additive versus Multiplicative Clause Weighting for SAT
F. Lardeux, F. Saubion, Jin-Kao Hao (2006)
GASAT: A Genetic Local Search Algorithm for the Satisfiability ProblemEvolutionary Computation, 14
Qinghua Wu, Jin-Kao Hao, F. Glover (2012)
Multi-neighborhood tabu search for the maximum weight clique problemAnnals of Operations Research, 196
Chu Li, Wenqi Huang (2005)
Diversification and Determinism in Local Search for Satisfiability
P. Galinier, Jin-Kao Hao (1997)
Tabu Search for Maximal Constraint Satisfaction Problems
Bertrand Mazure, L. Sais, É. Grégoire (1997)
Tabu Search for SAT
Yi Shang, B. Wah (1996)
A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability ProblemsJournal of Global Optimization, 12
Daniel Brélaz (1979)
New methods to color the vertices of a graphCommun. ACM, 22
Yangming Zhou, B. Duval, Jin-Kao Hao (2018)
Improving probability learning based local search for graph coloringAppl. Soft Comput., 65
K. Nonobe, T. Ibaraki (1998)
A tabu search approach to the constraint satisfaction problem as a general problem solverEur. J. Oper. Res., 106
Pascal Hentenryck, L. Michel (2018)
Constraint-based local search
P. Galinier, A. Hertz, N. Zufferey (2003)
An adaptive memory algorithm for the k-coloring problemDiscret. Appl. Math., 156
E. Marchiori, C. Rossi (1999)
A flipping genetic algorithm for hard 3-SAT problems
Jin-Kao Hao, R. Dorne (1994)
An empirical comparison of two evolutionary methods for satisfiability problemsProceedings of the First IEEE Conference on Evolutionary Computation. IEEE World Congress on Computational Intelligence
Andrew Davenport, E. Tsang, Chang Wang, Kangmin Zhu (1994)
GENET: A Connectionist Architecture for Solving Constraint Satisfaction Problems by Iterative Improvement
(1975)
Adaptation and artificial systems
E. Aarts, J. Korst (1990)
Simulated annealing and Boltzmann machines - a stochastic approach to combinatorial optimization and neural computing
David McAllester, B. Selman, Henry Kautz (1997)
Evidence for Invariants in Local Search
B. Selman, Henry Kautz (1993)
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems
R. Battiti, M. Brunato, Franco Mascia (2008)
Reactive Search and Intelligent Optimization
Jano Hemert, Christine Solnon (2020)
A Study into Ant Colony Optimization, Evolutionary Computation and Constraint Programming on Binary Constraint Satisfaction Problems
K. Sörensen (2015)
Metaheuristics - the metaphor exposedInt. Trans. Oper. Res., 22
P. Hansen, N. Mladenović (1998)
Variable neighborhood search: Principles and applicationsEur. J. Oper. Res., 130
C. Rossi, E. Marchiori, J. Kok (2000)
An adaptive evolutionary algorithm for the satisfiability problem
Steven Minton, M. Johnston, Andrew Philips, P. Laird (1992)
Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling ProblemsArtif. Intell., 58
M. Gendreau, J. Potvin (2010)
Handbook of Metaheuristics
(2008)
Algorithmes de recherche stochastiques. In: Saı̈s L (ed) Problème SAT : progrès et défis, Hermès - Lavoisier
PM (2012) Handbook of memetic algorithms, studies in computational intelligence 379
D. Aldous, U. Vazirani (1994)
"Go with the winners" algorithmsProceedings 35th Annual Symposium on Foundations of Computer Science
Abdelraouf Ishtaiwi, J. Thornton, A. Sattar, D. Pham (2005)
Neighbourhood Clause Weight Redistribution in Local Search for SAT
H. Hoos, F. Neumann, H. Trautmann (2016)
Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412)Dagstuhl Reports, 6
J. Gottlieb, E. Marchiori, C. Rossi (2002)
Evolutionary Algorithms for the Satisfiability ProblemEvolutionary Computation, 10
Bart Selman, Hector Levesque, David Mitchell (1992)
A New Method for Solving Hard Satisfiability Problems
A. Eiben, J.K. Hauw (1997)
Solving 3-SAT by GAs adapting constraint weightsProceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97)
B. Selman, Henry Kautz, Bram Cohen (1994)
Noise Strategies for Improving Local Search
C. Fleurent, J. Ferland (1993)
Object-oriented implementation of heuristic search methods for Graph Coloring, Maximum Clique, and Satisfiability
Ferrante Neri, C. Cotta, P. Moscato (2011)
Handbook of Memetic Algorithms, 379
Zhipeng Lü, Jin-Kao Hao (2010)
Adaptive Tabu Search for course timetablingEur. J. Oper. Res., 200
Zhipeng Lü, Jin-Kao Hao (2010)
A memetic algorithm for graph coloringEur. J. Oper. Res., 203
B. Neveu, Gilles Trombettoni, F. Glover (2004)
ID Walk: A Candidate List Strategy with a Simple Diversification Device
D. Goldberg (1988)
Genetic Algorithms in Search Optimization and Machine Learning
P. Moscato (1999)
Memetic algorithms: a short introduction
R. Dorne, Jin-Kao Hao (1998)
A New Genetic Local Search Algorithm for Graph Coloring
H. Schwefel, Ingo Wegener, Klaus Weinert (2003)
Advances in Computational Intelligence
(2010)
Constraint Programming with Ant Colony Optimization (232 pages)
T. Feo, M. Resende (1989)
A probabilistic heuristic for a computationally difficult set covering problemOperations Research Letters, 8
E. Malaguti, M. Monaci, P. Toth (2008)
A Metaheuristic Approach for the Vertex Coloring ProblemINFORMS J. Comput., 20
James Crawford, Larry Auton (1993)
Experimental Results on the Crossover Point inSatis ability
A. Jagota, L. Sanchis (2001)
Adaptive, Restart, Randomized Greedy Heuristics for Maximum CliqueJournal of Heuristics, 7
S. Prestwich (2005)
Random Walk with Continuously Smoothed Variable Weights
T. Stützle, H. Hoos (2000)
MAX-MIN Ant SystemFuture Gener. Comput. Syst., 16
(2017)
The LION way. Machine Learning plus Intelligent Optimization. LIONlab, University of Trento, Italy, URL http:// intelligent-optimization.org/LIONbook
F. Hutter, D. Tompkins, H. Hoos (2002)
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT
B. Craenen, A. Eiben, Jano Hemert (2003)
Comparing evolutionary algorithms on binary constraint satisfaction problemsIEEE Trans. Evol. Comput., 7
(2016)
A (2016) Handbook of Heuristics, Springer, chap Data mining in stochastic local search, pp 1–49
D. Porumbel, Jin-Kao Hao, P. Kuntz (2010)
An evolutionary approach with diversity guarantee and well-informed grouping recombination for graph coloringComput. Oper. Res., 37
Fuda Ma, Jin-Kao Hao (2015)
A multiple search operator heuristic for the max-k-cut problemAnnals of Operations Research, 248
Jin-Kao Hao (2012)
Memetic Algorithms in Discrete Optimization
F. Hutter, M. Lindauer, A. Balint, Sam Bayless, H. Hoos, Kevin Leyton-Brown (2015)
The Configurable SAT Solver Challenge (CSSC)Artif. Intell., 243
Adrien Goëffon, Jean-Michel Richer, Jin-Kao Hao (2008)
Progressive Tree Neighborhood applied to the Maximum Parsimony ProblemIEEE/ACM Transactions on Computational Biology and Bioinformatics, 5
Dale Schuurmans, F. Southey, R. Holte (2001)
The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming
I. Alaya, C. Solnon, K. Ghédira (2007)
Optimisation par colonies de fourmis pour le problème du sac à dos multidimensionnelTech. Sci. Informatiques, 26
[Meta-heuristics are generic search methods that are used to solve challenging combinatorial problems. We describe theseHao, Jin-Kao methods and highlight their common features and differences by grouping them in two main kinds of approaches: Perturbative meta-heuristics that build new combinations by modifying existing combinations (such as, for example, genetic algorithms and local search), and Constructive meta-heuristicsthatSolnon, Christine generate new combinations in an incremental way by using a stochastic model (such as, for example, estimation of distribution algorithms and ant colony optimization). These approaches may be hybridised, and we describe some classical hybrid schemes. We also introduce the notions of diversification (exploration) and intensification (exploitation), which are shared by all these meta-heuristics: diversification aims at ensuring a good sampling of the search space and, therefore, at reducing the risk of ignoring a promising sub-area which actually contains high-quality solutions, whereas intensification aims at locating the best combinations within a limited region of the search space. Finally, we describe two applications of meta-heuristics to typical artificial intelligence problems: satisfiability of Boolean formulas, and constraint satisfaction problems.]
Published: May 8, 2020
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.