Efficient Computation of the Kauffman Bracket