Wintersemester 2017/2018
SAT problem is to decide whether there exists a variable assignment for a given Boolean expression such that the expression evaluates to TRUE. The talk will briefly introduce the necessary technical background [...] systems is often hindered by the lack of time-resolved data. This furthers the need for model systems such as the unicellular slime mold Physarum polycephalum, which self-organizes into a planar network of [...] with minimal delays. Further, there is no central entity to make the packet forwarding decisions. In such networks, the routing protocols need be robust and resilient to make intelligent decisions about next