Justyna Petke, William B. Langdon, Mark Harman. Applying Genetic Improvement to MiniSAT. In Günther Ruhe, Yuanyuan Zhang, editors, Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings. Volume 8084 of Lecture Notes in Computer Science, pages 257-262, Springer, 2013. [doi]
Abstract is missing.