λ, λ)) genetic algorithm on random satisfiable 3-CNF formulas

Maxim Buzdalov, Benjamin Doerr. λ, λ)) genetic algorithm on random satisfiable 3-CNF formulas. In Peter A. N. Bosman, editor, Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2017, Berlin, Germany, July 15-19, 2017. pages 1343-1350, ACM, 2017. [doi]

Abstract

Abstract is missing.