SAT-Engines Seminar WS 2000/2001 Albert-Ludwigs-Universität Freiburg Fakultät für angewandte Wissenschaften Lehrstuhl für Rechnerarchitektur Jochen Römmler.