@inbook{1ed65b6cc3de4106a49d87ee03cdc2a7,
title = "Inc*: an incremental approach for improving local search heuristics",
abstract = "This paper presents Inc*, a general algorithm that can be used in conjunction with any local search heuristic and that has the potential to substantially improve the overall performance of the heuristic. Genetic programming is used to discover new strategies for the Inc* algorithm. We experimentally compare performance of local heuristics for SAT with and without the Inc* algorithm. Results show that Inc* consistently improves performance.",
keywords = "Genetic Programming, Boolean Satisfiability Problems (SAT)",
author = "Mohamed Bader and R. Poli",
note = "Funders: EPSRC grant EP/C523377/1. Additional Information: doi:10.1007/978-3-540-78604-7_17.; Proceedings of the 8th European Conference, Evolutionary Computation in Combinatorial Optimization, EvoCOP ; Conference date: 26-03-2008 Through 28-03-2008",
year = "2008",
month = mar,
language = "English",
isbn = "9783540786030",
volume = "4972",
series = "Lecture notes in computer science",
publisher = "Springer",
number = "4972",
pages = "194--205",
editor = "{Van Hemert}, J.",
booktitle = "Evolutionary computation in combinatorial optimization: 8th European conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008, proceedings",
edition = "4972",
}