Browsing Mathematics (Faculty of) by Supervisor "Ganesh, Vijay"
Now showing items 1-2 of 2
-
Computational Methods for Combinatorial and Number Theoretic Problems
(University of Waterloo, 2017-04-27)Computational methods have become a valuable tool for studying mathematical problems and for constructing large combinatorial objects. In fact, it is often not possible to find large combinatorial objects using human ... -
Understanding and Enhancing CDCL-based SAT Solvers
(University of Waterloo, 2018-08-02)Modern conflict-driven clause-learning (CDCL) Boolean satisfiability (SAT) solvers routinely solve formulas from industrial domains with millions of variables and clauses, despite the Boolean satisfiability problem being ...