Now showing items 1-2 of 2

    • Computational Methods for Combinatorial and Number Theoretic Problems 

      Bright, Curtis (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 

      Zulkoski, Edward (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 ...


      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