In this Lesson we start the description and analysis of Grover's algorithm for (Unique-)SAT(-search). Best watched in conjunction with Lesson 55, upcoming!
Lesson 54 of 100 for the series "Quantum Computer Programming in 100 Easy Lessons".
Taught by Ryan O'Donnell
www.cs.cmu.edu/~odonnell
/ booleananalysis
Filmed at Carnegie Mellon University by Buck Caldwell and Dave Ambroso for Panopto.
Exercises tune: Cover of "Exercices" by Saïan Supa Crew.