Neumann, F.; Sutton, A. M. Evolving Solutions to Community-Structured Satisfiability Formulas. AAAI 2019, 33, 2346-2353.