Satisfiability Library / Industrial Engineering University of Toronto / /
IndustryTerm
search cost / local search algorithms / water network / mean search cost / local search cost / search tree / backbone-guided local search algorithm works / local search methods / Average search cost / /
Organization
FDA / Applied Science Graduate Department of Mechanical / University of Toronto / /
Person
Dave Tompkins / Dave Tae Shik Yoon / Makoto Yokoo / Beck / Tom Carchrae / Jean-Paul Watson / Zhaohui Fu / /
Position
supervisor / Professor / Singer / /
ProgrammingLanguage
OCAL / /
Technology
Local Search Algorithm / local search algorithms / Novelty+ Algorithms / base algorithm / JSP / 1.2 Walksat Algorithm / 1.1 zChaff Algorithm / 64 Algorithm / /
E MPIRICAL A NALYSIS OF L OCAL S EARCH A LGORITHMS AND P ROBLEM D IFFICULTY IN S ATISFIABILITY by Dave Tae Shik Yoon