Ashok, D.; Scott, J.; Wetzel, S. J.; Panju, M.; Ganesh, V. Logic Guided Genetic Algorithms (Student Abstract). AAAI 2021, 35, 15753-15754.