Applying Genetic Improvement to MiniSAT
Attributed to:
DAASE: Dynamic Adaptive Automated Software Engineering
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-39742-4_21
Publication URI: http://www0.cs.ucl.ac.uk/staff/mharman/ssbse13-justyna.pdf
Type: Book Chapter
Book Title: Search Based Software Engineering (2013)
Page Reference: 257-262