Using automatic programming to generate state-of-the-art algorithms for random 3-SAT.

Roland Olsson Arne Løkketangen

Published in: J. Heuristics (2013)

Keyphrases

automatic programming
theorem proving
gene expression programming
phase transition
learning algorithm
reinforcement learning
artificial intelligence
search algorithm
genetic programming
heuristic search
evolutionary computation