Article

A GP-based hyper-heuristic framework for evolving 3-SAT heuristics

Authors:

Mohamed Bahy Bader-El-Den,

Ricccardo PoliAuthors Info & Claims

GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation

Page 1749

https://doi.org/10.1145/1276958.1277299

Published: 07 July 2007 Publication History

Get Access

Abstract

No abstract available.

References

[1]

E. Burke, G. Kendall, J. Newall, E. Hart, P. Ross, and S. Schulenburg. Hyper-heuristics: an emerging direction in modern search technology. In F. Glover and G. Kochenberger, editors, Handbook of Metaheuristics, pages 457--474. Kluwer Academic Publishers, 2003.

Crossref

Google Scholar

[2]

B. Selman, H. J. Levesque, and D. Mitchell. A new method for solving hard satisfiability problems. In Proceedings of the Tenth National Conference on Artificial Intelligence, pages 440--446, Menlo Park, California, 1992. AAAI Press.

Digital Library

Google Scholar

Cited By

View all

Selvaraj PNagarajan V(2018)Need of Algorithm Selection in Next Generation Optical NetworksInternational Journal of Business Data Communications and Networking10.4018/IJBDCN.201801010514:1(81-92)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.4018/IJBDCN.2018010105
Sosa-Ascencio ATerashima-Marín HOrtiz-Bayliss JConant-Pablos SNeumann FSutton A(2016)Grammar-based Selection Hyper-heuristics for Solving Irregular Bin Packing ProblemsProceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion10.1145/2908961.2908970(111-112)Online publication date: 20-Jul-2016
https://dl.acm.org/doi/10.1145/2908961.2908970
Koohestani BPoli R(2014)Evolving an Improved Algorithm for Envelope Reduction Using a Hyper-Heuristic ApproachIEEE Transactions on Evolutionary Computation10.1109/TEVC.2013.228151218:4(543-558)Online publication date: Aug-2014
https://doi.org/10.1109/TEVC.2013.2281512
Show More Cited By

Index Terms

A GP-based hyper-heuristic framework for evolving 3-SAT heuristics
1. Computing methodologies
  1. Artificial intelligence
    1. Search methodologies
      1. Heuristic function construction

Recommendations

Evolving heuristics with genetic programming
GECCO '08: Proceedings of the 10th annual conference on Genetic and evolutionary computation

Hyper-Heuristics are methods to choose and combine heuristics to generate new ones. In this work, we use a grammar-based genetic programming system as a Hyper-Heuristic framework. The framework is used for evolving effective incremental solvers for SAT (...
A Combined Generative and Selective Hyper-heuristic for the Vehicle Routing Problem
GECCO '16: Proceedings of the Genetic and Evolutionary Computation Conference 2016

Hyper-heuristic methods for solving vehicle routing problems (VRP) have proved promising on a range of data. The vast majority of approaches apply selective hyper-heuristic methods that iteratively choose appropriate heuristics from a fixed set of pre-...
Automated discovery of local search heuristics for satisfiability testing

The development of successful metaheuristic algorithms such as local search for a difficult problem such as satisfiability testing (SAT) is a challenging task. We investigate an evolutionary approach to automating the discovery of new local search ...

Comments

Information & Contributors

Information

Published In

GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation

July 2007

2313 pages

ISBN:9781595936974

DOI:10.1145/1276958

General Chair:
Hod Lipson
Cornell University, USA

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 July 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

GECCO07

Sponsor:

GECCO07: Genetic and Evolutionary Computation Conference

July 7 - 11, 2007

London, England

Acceptance Rates

GECCO '07 Paper Acceptance Rate 266 of 577 submissions, 46%;

Overall Acceptance Rate 1,669 of 4,410 submissions, 38%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
170
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)2

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Selvaraj PNagarajan V(2018)Need of Algorithm Selection in Next Generation Optical NetworksInternational Journal of Business Data Communications and Networking10.4018/IJBDCN.201801010514:1(81-92)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.4018/IJBDCN.2018010105
Sosa-Ascencio ATerashima-Marín HOrtiz-Bayliss JConant-Pablos SNeumann FSutton A(2016)Grammar-based Selection Hyper-heuristics for Solving Irregular Bin Packing ProblemsProceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion10.1145/2908961.2908970(111-112)Online publication date: 20-Jul-2016
https://dl.acm.org/doi/10.1145/2908961.2908970
Koohestani BPoli R(2014)Evolving an Improved Algorithm for Envelope Reduction Using a Hyper-Heuristic ApproachIEEE Transactions on Evolutionary Computation10.1109/TEVC.2013.228151218:4(543-558)Online publication date: Aug-2014
https://doi.org/10.1109/TEVC.2013.2281512
Koohestani BPoli R(2012)A genetic programming approach for evolving highly-competitive general algorithms for envelope reduction in sparse matricesProceedings of the 12th international conference on Parallel Problem Solving from Nature - Volume Part II10.1007/978-3-642-32964-7_29(287-296)Online publication date: 1-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-32964-7_29
Koohestani BPoli R(2011)A Hyper-Heuristic Approach to Evolving Algorithms for Bandwidth Reduction Based on Genetic ProgrammingResearch and Development in Intelligent Systems XXVIII10.1007/978-1-4471-2318-7_7(93-106)Online publication date: 14-Oct-2011
https://doi.org/10.1007/978-1-4471-2318-7_7
Curran DFreuder EJansen TPelikan MBranke J(2010)Incremental evolution of local search heuristicsProceedings of the 12th annual conference on Genetic and evolutionary computation10.1145/1830483.1830660(981-982)Online publication date: 7-Jul-2010
https://dl.acm.org/doi/10.1145/1830483.1830660
Terrazas GKrasnogor N(2010)Grammatical rules for the automated construction of heuristicsIEEE Congress on Evolutionary Computation10.1109/CEC.2010.5586192(1-8)Online publication date: Jul-2010
https://doi.org/10.1109/CEC.2010.5586192
Bader-El-Den MPoli R(2008)Inc*Proceedings of the 8th European conference on Evolutionary computation in combinatorial optimization10.5555/1792634.1792651(194-205)Online publication date: 26-Mar-2008
https://dl.acm.org/doi/10.5555/1792634.1792651
Bader-El-Den MPoli RRyan C(2008)Evolving heuristics with genetic programmingProceedings of the 10th annual conference on Genetic and evolutionary computation10.1145/1389095.1389212(601-602)Online publication date: 13-Jul-2008
https://dl.acm.org/doi/10.1145/1389095.1389212
Bader-El-Den MPoli R(2008)Inc*: An Incremental Approach for Improving Local Search HeuristicsEvolutionary Computation in Combinatorial Optimization10.1007/978-3-540-78604-7_17(194-205)Online publication date: 2008
https://doi.org/10.1007/978-3-540-78604-7_17
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Evolving heuristics with genetic programming

A Combined Generative and Selective Hyper-heuristic for the Vehicle Routing Problem

Automated discovery of local search heuristics for satisfiability testing

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Evolving heuristics with genetic programming

A Combined Generative and Selective Hyper-heuristic for the Vehicle Routing Problem

Automated discovery of local search heuristics for satisfiability testing

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations