A quantum version of Schöning’s algorithm applied to Quantum 2-SATEdward FarhiShelby Kimmelet al.2016Quantum Information and Computation