BDDStab – A BDD-based Integer Set Library

Ein weiterer Vortrag. Diesmal zu einer Promotionsarbeit von Sven Mattsen. Diesmal nur After Effects im Einsatz.