1,578 followers
Abschlussarbeit von Rune Krauss von @agra_uni_bremen erschienen bei #Springer in der Serie #BestMasters (#BEST): Speichereffizienter Aufbau von binären Entscheidungsdiagrammen https://t.co/NXg9ZJkOJw #PolyVer @SpringerCompSci @SpringerVieweg