Solving Highly Constrained Search Problems with Quantum Computers