Automated Discovery of Composite SAT Variable-Selection Heuristics (2002)

Cached

Download Links

by Alex Fukunaga
Citations:27 - 1 self

Documents Related by Co-Citation

2866 Genetic Programming – On the Programming of Computers by Means of Natural Selection – J R Koza - 1992
15 Evolving local search heuristics for SAT using genetic programming – Alex S. Fukunaga - 2004
27 Evolving Bin Packing Heuristics with Genetic Programming – E. K. Burke, M. R. Hyde, G. Kendall - 2006
117 A Tabu-Search Hyperheuristic for Timetabling and Rostering – E. K. Burke, G. Kendall, E. Soubeiga - 2003
645 No Free Lunch Theorems for Optimization – David H. Wolpert, et al. - 1997
215 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
680 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
361 Noise strategies for improving local search – Bart Selman, Henry A. Kautz, Bram Cohen - 1994
12 Generating SAT local-search heuristics using a GP hyper-heuristic framework – M Bader-El-Den and R Poli - 2008
136 Towards an understanding of hill-climbing procedures for SAT – Ian P. Gent, Toby Walsh Y - 1993
81 Hyper-Heuristics: An Emerging Direction In Modern Search Technology – Edmund Burke, Emma Hart, Graham Kendall, JimNewall, Peter Ross, Sonia Schulenburg - 2003
22 A simulated annealing hyper-heuristic for determining shipper sizes – K A Dowsland, E Soubeiga, E K Burke
126 Algorithm portfolios – Carla P Gomes, Bart Selman - 2001
13 Linear genetic programming of parsimonious metaheuristics – R. E. Keller, R. Poli - 2007
25 Automatic heuristic generation with genetic programming: Evolving a jack-of-alltrades or a master of one – Edmund K Burke, Matthew Hyde, Graham Kendall, John Woodward - 2007
21 Evolutionary algorithms for the satisfiability problem – Jens Gottlieb, Elena Marchiori, Claudio Rossi - 2002
59 Local search characteristics of incomplete SAT procedures – Dale Schuurmans, Finnegan Southey - 2000
6 A Histogram-matching Approach to the Evolution of Bin-packing Strategies – Riccardo Poli, John Woodward, Edmund K. Burke
24 Dynamic Algorithm Portfolios – Matteo Gagliolo, Jürgen Schmidhuber - 2006