Evolving Hyper Heuristic-Based Solvers for Rush Hour and FreeCell.

Ami Hauptman Achiya Elyasaf Moshe Sipper

Published in: SOCS (2010)

Keyphrases

database
image processing
sat solvers
databases
knowledge base
computational complexity
evolutionary algorithm
constraint satisfaction
global constraints
traffic congestion
search heuristics
sat solving
microsoft business intelligence