An adaptive evolutionary algorithm for the satisfiability problem | Publicación