Browsing Computer Science by Author "Southey, Finnegan"
Now showing items 1-1 of 1
-
Augmenting Local Search for Satisfiability
Southey, Finnegan (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 ...