Browsing Theses by Subject "local search"
Now showing items 1-1 of 1
-
Augmenting Local Search for Satisfiability
(University of Waterloo, 2004)This dissertation explores approaches to the satisfiability problem, focusing on local search methods. The research endeavours to better understand how and why some local search methods are effective. At the root of ...