Show simple item record

dc.contributor.authorNewsham, Zackary 14:15:55 (GMT) 05:30:11 (GMT)
dc.description.abstractDespite enormous improvements in Boolean SATisfiability solver performance over the last decade, it is still unclear why specific input formula are slow to solve, when other similarly specified formula execute more quickly. This work explores the relationship between the community structure of a SAT formula and its execution time on several state-of-the-art solvers. We explore the analysis of this data from a number of directions; first, we explore the relationship between the well known clause-variable ratio result, and com- munity structure in randomly generated instances. Second, we perform a standard linear regression on data obtained from the 2013 SAT competition. Third, we present a visualisation tool and data repository for viewing the structure of a SAT formula. Fourth, we explore the effect of hardware con- straints on the solution time of instances across various machines. Finally, we explore survival analysis, a technique that is new to the field of Boolean SATisfiability. By collating the results from each of these experiments, we have determined that the community structure is critical in determining the solution time of a SAT formula, more important than the clause-variable ratio of the formula. While this work is not a complete explanation of the varying solution time of SAT formulae, it has provided us with significant insight for further research to answer the question: why different similarly specified formula have such different solution times?en
dc.publisherUniversity of Waterlooen
dc.subjectboolean satisfiabilityen
dc.subjectlinear regressionen
dc.titleAn Analysis of the Effect of Community Structure on SAT Solver Performanceen
dc.typeMaster Thesisen
dc.subject.programElectrical and Computer Engineeringen
dc.description.embargoterms4 monthsen and Computer Engineeringen
uws-etd.degreeMaster of Applied Scienceen

Files in this item


This item appears in the following Collection(s)

Show simple item record


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages