Browsing Theses by Author "Chung, Jonathan"
Now showing items 1-1 of 1
-
Prioritized Unit Propagation and Extended Resolution Techniques for SAT Solvers
Chung, Jonathan (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 ...