Sie sind hier:
' derzeit als neue Forschungsrichtung etabliert. 08.11.2017 RolfDrechsler, Advanced Formal Techniques along the Design Flow RolfDrechsler, Universität Bremen Abstract Traditionally, the tool flow for
Bereich: SG
Slime Mold Physarum polycephalum Stefan Hillmich , Universität Bremen, Informatik, AG Prof. Dr. RolfDrechsler 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. RolfDrechsler Abstract The Boolean Satisfiability Problem (SAT for short) is one of the most famous problems