Hybridizing Evolutionary Negative Selection Algorithm and Local Search for Large-Scale Satisfiability Problems.

Peng Guo Wenjian Luo Zhifang Li Houjun Liang Xufa Wang Hybridizing Evolutionary Negative Selection Algorithm and Local Search for Large-Scale Satisfiability Problems. 248-257 2009 ISICA http://dx.doi.org/10.1007/978-3-642-04843-2_27 conf/isica/2009 db/conf/isica/isica2009.html#GuoLLLW09