Evolving Local Search Heuristics for SAT Using Genetic Programming.

Alex S. Fukunaga

Published in: GECCO (2) (2004)

Keyphrases

sat solvers
satisfiability problem
phase transition
sat problem
search strategies
propositional satisfiability
sat solving
search algorithm
boolean satisfiability
neural network
special case