Neumann, F., & Sutton, A. M. (2019). Evolving Solutions to Community-Structured Satisfiability Formulas. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 2346-2353. https://doi.org/10.1609/aaai.v33i01.33012346