Browsing Engineering (Faculty of) by Author "Newsham, Zackary"
Now showing items 1-1 of 1
-
An Analysis of the Effect of Community Structure on SAT Solver Performance
Newsham, Zackary (University of Waterloo, 2015-01-21)Despite 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 ...