A A
de
Deutsch
English
Menü
Startseite Heinz

Heinz, Stefan, Dr.

Media Name: heinz.jpg

Kontakt

Position
Gast
Raum
4155
Telefon
+49 30 84185-428
E-Mail
E-Mail
Website
https://www.zib.de/userpage/heinz/
Bereich
Mathematical Algorithmic Intelligence
Abteilung
AI in Society, Science and Technology
Arbeitsgruppe
Interactive Optimization and Learning

Projekte

Projekte als Leitung

Media Name: Matheon-D17_icon.png

Chip Design Verification with Constraint Integer Programming

In the design process of integrated circuits and other electronic hardware, a huge amount of time and resources is spent on the verification of the design and the final...

Chip Design Verification with Constraint Integer Programming

Projekte als Mitglied

Media Name: gas.jpg

Optimization of Gas Transport

Natural gas is one of the most important energy sources in Germany and Europe. In recent years, political regulations have led to a strict separation of gas trading and...

Optimization of Gas Transport
Media Name: Matheon-D17_icon.png

Chip Design Verification with Constraint Integer Programming

In the design process of integrated circuits and other electronic hardware, a huge amount of time and resources is spent on the verification of the design and the final...

Chip Design Verification with Constraint Integer Programming
Media Name: 123many.png

Counting Solutions in the Field of Verification

In the last years the formal verification technique "property checking" was used to prove the correctness of microchip designs. This technique checks all possible input...

Counting Solutions in the Field of Verification