Incollection,

Evolving Effective Incremental Solvers for SAT with a Hyper-heuristic Framework based on Genetic Programming

, and .
Genetic Programming Theory and Practice VI, Ann Arbor, accepted.(2008)

Meta data

Tags

Users

  • @brazovayeye

Comments and Reviews