Advanced BDD Optimization

by Ebendt, Rudiger, Fey, Görschwin, Drechsler, Rolf
Published 2005

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Published 2018

Binary Decision Diagrams : Theory and Implementation

by Drechsler, Rolf, Becker, Bernd
Published 1998

Natural Language Processing for Electronic Design Automation

Published 2020