Login / Signup

Evolving Generalised Maze Solvers.

David Peter ShortenGeoff S. Nitschke
Published in: EvoApplications (2015)
Keyphrases
  • sat solvers
  • data mining
  • web services
  • three dimensional
  • constraint solver
  • general purpose
  • orders of magnitude
  • search heuristics
  • sat solving
  • quantified boolean formulas