Publikation

Simulation Graphs for Reverse Engineering

Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton

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

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