3 papers
cs.DS2026
Efficient Enumeration of Enclosed Vector Spaces
Anna Bernasconi, Valentina Ciriani, Alessio Conte +2
In this paper, we address several problems concerning vector spaces enclosed in a given set. Let V be a vector space over a finite field of cardinality c, and let b…
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…