On the Error Resilience of Ordered Binary Decision Diagrams

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…