@brazovayeye

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)

Links and resources

Tags