Publikationen

Zeige Ergebnisse 1 bis 2 von 2

In: 28th International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2019) June 21-23 Lausanne Switzerland 2019.

Zur Publikation

In: Design Automation Conference (DAC). Design Automation Conference (DAC-2019) June 2-6 Las Vegas United States 2019.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence