1 paper · 2 filters
Anna Bernasconi, Valentina Ciriani, Lorenzo Lago
Ordered Binary Decision Diagrams (OBDDs) are a data structure that is used in an increasing number of fields of Computer Science (e.g., logic synthesis, program verification, data…