%0 Conference Paper %1 1277299 %A Bader-El-Den, Mohamed Bahy %A Poli, Riccardo %B GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation %C London %D 2007 %E Thierens, Dirk %E Beyer, Hans-Georg %E Bongard, Josh %E Branke, Jurgen %E Clark, John Andrew %E Cliff, Dave %E Congdon, Clare Bates %E Deb, Kalyanmoy %E Doerr, Benjamin %E Kovacs, Tim %E Kumar, Sanjeev %E Miller, Julian F. %E Moore, Jason %E Neumann, Frank %E Pelikan, Martin %E Poli, Riccardo %E Sastry, Kumara %E Stanley, Kenneth Owen %E Stutzle, Thomas %E Watson, Richard A %E Wegener, Ingo %I ACM Press %K Poster, SAT algorithms, genetic heuristic, heuristics, hyper programming: %P 1749--1749 %T A GP-based hyper-heuristic framework for evolving 3-SAT heuristics %U http://doi.acm.org/10.1145/1276958.1277299 %V 2 %X We present, GP-HH, a framework for evolving local search 3-SAT heuristics based on GP. Evolved heuristics are compared against well-known SAT solvers with very encouraging results.

@inproceedings{1277299, abstract = {We present, GP-HH, a framework for evolving local search 3-SAT heuristics based on GP. Evolved heuristics are compared against well-known SAT solvers with very encouraging results.}, added-at = {2008-06-19T17:35:00.000+0200}, address = {London}, author = {Bader-El-Den, Mohamed Bahy and Poli, Riccardo}, biburl = {https://www.bibsonomy.org/bibtex/214b982d1da8ee1e09445b396c6f9154b/brazovayeye}, booktitle = {GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation}, editor = {Thierens, Dirk and Beyer, Hans-Georg and Bongard, Josh and Branke, Jurgen and Clark, John Andrew and Cliff, Dave and Congdon, Clare Bates and Deb, Kalyanmoy and Doerr, Benjamin and Kovacs, Tim and Kumar, Sanjeev and Miller, Julian F. and Moore, Jason and Neumann, Frank and Pelikan, Martin and Poli, Riccardo and Sastry, Kumara and Stanley, Kenneth Owen and Stutzle, Thomas and Watson, Richard A and Wegener, Ingo}, interhash = {506baf86541734de54e930213795f465}, intrahash = {14b982d1da8ee1e09445b396c6f9154b}, isbn13 = {978-1-59593-697-4}, keywords = {Poster, SAT algorithms, genetic heuristic, heuristics, hyper programming:}, month = {7-11 July}, notes = {GECCO-2007 A joint meeting of the sixteenth international conference on genetic algorithms (ICGA-2007) and the twelfth annual genetic programming conference (GP-2007). ACM Order Number 910071}, organisation = {ACM SIGEVO (formerly ISGEC)}, pages = {1749--1749}, publisher = {ACM Press}, publisher_address = {New York, NY, USA}, timestamp = {2008-06-19T17:36:04.000+0200}, title = {A {GP}-based hyper-heuristic framework for evolving 3-{SAT} heuristics}, url = {http://doi.acm.org/10.1145/1276958.1277299}, volume = 2, year = 2007 }