Conference Papers for OBDD at the Chair of Prof. Dr. Christoph Meinel
Here you can find our peer-reviewed conference papers on Branching Programs, (Ordered) Binary Decision Diagrams - (O)BDDs, and on BDD-based Efficient Data Structures and Algorithms:
Oops, an error occurred! Code: 202405060414488f104b94
You can find other sub-lists of our conference papers focusing on