layout title filename default Publications publications Logic Guided Genetic Algorithms at AAAI2021 Student Abstract Conference