Browsing Mathematics (Faculty of) by Author "Wu, Huayue"
Now showing items 1-1 of 1
-
Randomization and Restart Strategies
Wu, Huayue (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 ...