Browsing Mathematics (Faculty of) by Subject "backtrack search"
Now showing items 1-1 of 1
-
Randomization and Restart Strategies
(University of Waterloo, 2006)The runtime for solving constraint satisfaction problems (CSP) and propositional satisfiability problems (SAT) using systematic backtracking search has been shown to exhibit great variability. Randomization and restarts ...