Showing cs.DSShow all
2 papers · 1 filter
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…