Mein Forschungsgebiet ist die Anwendung von Constraint Programming Techniken im Bereich SMT-solving. Insbesondere versuche ich Bitvektorlogik mit dem Erfüllbarkeitsproblem der Aussagenlogik zu kombinieren.
Enhancing Debugging of Multiple Missing Control Errors in Reversible Logic
Autor: Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler
Konferenz: Great Lakes Symposium on VLSI (GLSVLSI) Pdf | Referenz: pp. 465-470, Rhode Island, 2010
