Browsing University of Waterloo by Subject "Practical applications"
Now showing items 1-1 of 1
-
Quantum Speed-ups for Boolean Satisfiability and Derivative-Free Optimization
(University of Waterloo, 2014-04-21)In this thesis, we have considered two important problems, Boolean satisfiability (SAT) and derivative free optimization in the context of large scale quantum computers. In the first part, we survey well known classical ...