Seminar: Dependency Quantified Boolean Formulas - Summer Term 2015

organiser

lecturer	Bernd Becker, Prof. Dr., Chair of Computer Architecture
	Ralf Wimmer, Dr., Chair of Computer Architecture
assistant	Paolo Marin, PhD, Chair of Computer Architecture
	Karina Gitina, Dipl.-Inf., Chair of Computer Architecture