2 papers
cs.DS2014
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…
cs.DM2012
Compact DSOP and partial DSOP Forms
Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio +1
Given a Boolean function f on n variables, a Disjoint Sum-of-Products (DSOP) of f is a set of products (ANDs) of subsets of literals whose sum (OR) equals f, such that no two produ…