Skip navigation
Skip navigation

Investigations into Satisfiability Search

Slater, Andrew


In this dissertation we investigate theoretical aspects of some practical approaches used in solving and understanding search problems. We concentrate on the Satisfiability problem, which is a strong representative from search problem domains. The work develops general theoretical foundations to investigate some practical aspects of satisfiability search. This results in a better understanding of the fundamental mechanics for search algorithm construction and behaviour. A theory of choice or...[Show more]

CollectionsOpen Access Theses
Date published: 2004-01
Type: Thesis (PhD)


File Description SizeFormat Image
01front.pdf149.89 kBAdobe PDFThumbnail
02whole.pdf751.35 kBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator