Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability.

Artem Pavlenko, Daniil Chivilikhin, Alexander A. Semenov

Browse the full CEC paper archive.