2 search results - page 1 / 1 » New updating criteria for conflict-based branching heuristic... |
DISOPT
2008
13 years 4 months ago
2008
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...
TCBB
2008
13 years 4 months ago
2008
A genetic map is an ordering of genetic markers calculated from a population of known lineage. Although, traditionally, a map has been generated from a single population for each s...