Applying Genetic Improvement to MiniSAT.

Justyna Petke, William B. Langdon, Mark Harman

Browse the full SSBSE paper archive.