Applying genetic improvement to MiniSAT (0)

by Justyna Petke, William B Langdon, Mark Harman
Venue:Symposium on Search-Based Software Engineering, Leningrad, August 24-26 2013. Short Papers