Logic Guided Genetic Algorithms