Seminar: SAT and beyond - Winter term 07/08

organiser

lecturer	Bernd Becker, Prof. Dr., Chair of Computer Architecture
organizer	Natalia Kalinnik, Dipl.-Inf., Chair of Computer Architecture
	Ralf Wimmer, Dipl.-Inf., Chair of Computer Architecture
	Stefan Kupferschmid, Dipl.-Inf., Chair of Computer Architecture