Redirecting you to http://www.mi.uni-koeln.de/~littelma/SMTkurz.pdf