Browsing Engineering (Faculty of) by Subject "boolean satisfiability"
Now showing items 1-2 of 2
-
An Analysis of the Effect of Community Structure on SAT Solver Performance
(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 ... -
Prioritized Unit Propagation and Extended Resolution Techniques for SAT Solvers
(University of Waterloo, 2023-08-29)NP-complete problems like the Boolean Satisfiability (SAT) Problem are ubiquitous in computer science, mathematics, and engineering. Consequently, researchers have developed algorithms such as Conflict-Driven Clause-Learning ...