Applying Genetic Improvement to MiniSAT.

Justyna Petke William B. Langdon Mark Harman

Published in: SSBSE (2013)

Keyphrases

real time
neural network
genetic algorithm
sat solvers
sat solving
database
databases
case study
learning environment
lower bound
trade off
significant improvement