Hasso-Plattner-Institut
  
    • de
 

... on BDDs

You can find lists of our papers that focus on other topics: 

  • Trust and Security Engineering 
  • Future Internet technologies: Web 3.0
  • Next-generation Internet applications in:
    Web-University,  Telemedicine and other applications
  • Innovation method Design Thinking
  • Theoretical Computer Science: Computational Complexity

These are our papers on Binary Decision Diagrams (BDDs) in Electronic Design Automation (EAD) and Formal Verification: