Publikationen

In: 29th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2020) befindet sich Design Automation Conference (DAC) July 20-24 United States 2020.

Zur Publikation

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