Sciweavers

Share
2 search results - page 1 / 1
» New updating criteria for conflict-based branching heuristic...
Sort
View
DISOPT
2008
88views more  DISOPT 2008»
11 years 1 months ago
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
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...
Renato Bruni, Andrea Santori
TCBB
2008
117views more  TCBB 2008»
11 years 1 months ago
Consensus Genetic Maps as Median Orders from Inconsistent Sources
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...
Benjamin G. Jackson, Patrick S. Schnable, Srinivas...
books