Sie sind hier:
derzeit als neue Forschungsrichtung etabliert. 08.11.2017 Rolf Drechsler, Advanced Formal Techniques along the Design Flow Rolf Drechsler, Universität Bremen Abstract Traditionally, the tool flow for the
Bereich: SG
Mold Physarum polycephalum Stefan Hillmich , Universität Bremen, Informatik, AG Prof. Dr. Rolf Drechsler Abstract The slime mold Physarum polycephalum is a current focus area of research. Many recent
Keszöcze: Solving the Boolean Satisfability Problem Oliver Keszöcze , Universität Bremen, AG Prof. Rolf Drechsler Abstract The Boolean Satisfiability Problem (SAT for short) is one of the most famous problems in