Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT.

Artem Pavlenko, Alexander A. Semenov

Browse the full CEC paper archive.