Treballs Finals de Grau de Física, Facultat de Física, Universitat de Barcelona, Curs: 2018, Tutor: José Ignacio LatorreThis paper studies the Exact Cover problem through the lens of Adiabatic Quantum Computation. It contains an introduction to the way an adiabatic computation solves a satisfiability problem, as well as further discussion on how finding and exploiting symmetries hidden in the clauses of the problem can create a speed-up over the conventional procedur
