Publikationen

In: 24th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2015) June 12-13 Mountain View CA United States 2015.

Zur Publikation

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