(SAT) Boolean Chains Nach Rücksprache können auch eigene Kapitel ausgesucht werden. Organisation Dieses Seminar widmet sich ausgesuchten Kapiteln aus TAOCP. Teilnehmer setzen sich mit den Inhalten auseinander
Abschlussarbeiten Themen Sie suchen ein spannendes Thema für Ihre Abschlussarbeit (Bachelor oder Master)? Dann sind Sie in der Abteilung Technische Informatik richtig! Wir bieten regelmäßig eine Reihe […] versatile Biochip Alternative area division methods for exact routing on digital microfluidic biochips Untersuchung verschiedener Kodierungen von speziellen Cardinality Constraints für SAT Das Flow-Routing Problem
ig wenig von der konkreten Hardware. Moderne Sprachen, wie z.B. Amaranth , Chisel oder Clash , versuchen, die Verwendung von HDLs mehr dem „Entwicklungskomfort” von Programmiersprachen anzunähern. So wurde
