Searching for "Low-Knowledge Algorithm Control." – sorted by Relevance.
-
SATzilla-07: The design and analysis of an algorithm portfolio for SAT
- of a DPLL solver for SAT in order to select a branching rule [16]. Low-knowledge algorithm control
- Cited by 6 (1 self) – Add To MetaCart
-
SATzilla: Portfolio-based Algorithm Selection for SAT
- during the search. Low-knowledge algorithm control by Carchrae and Beck (2005) employed a portfolio
- Add To MetaCart

