pEvoSAT: a novel permutation based genetic algorithm for solving the boolean satisfiability problem.

Boris Shabash, Kay C. Wiese

Browse the full GECCO paper archive.