Logic Guided Genetic Algorithms (Student Abstract).

Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh

Browse the full AAAI paper archive.