Ashok, Dhananjay, Joseph Scott, Sebastian J. Wetzel, Maysum Panju, and Vijay Ganesh. 2021. “Logic Guided Genetic Algorithms (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (18):15753-54. https://doi.org/10.1609/aaai.v35i18.17873.